arXiv Open Access 2017

Pumping Lemma for Higher-order Languages

Kazuyuki Asada Naoki Kobayashi

Lihat Sumber

Abstrak

We study a pumping lemma for the word/tree languages generated by higher-order grammars. Pumping lemmas are known up to order-2 word languages (i.e., for regular/context-free/indexed languages), and have been used to show that a given language does not belong to the classes of regular/context-free/indexed languages. We prove a pumping lemma for word/tree languages of arbitrary orders, modulo a conjecture that a higher-order version of Kruskal's tree theorem holds. We also show that the conjecture indeed holds for the order-2 case, which yields a pumping lemma for order-2 tree languages and order-3 word languages.

Topik & Kata Kunci

cs.FL

Penulis (2)

Kazuyuki Asada

Naoki Kobayashi

Format Sitasi

APA MLA BibTeX

Asada, K., Kobayashi, N. (2017). Pumping Lemma for Higher-order Languages. https://arxiv.org/abs/1705.10699

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2017
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓