Infinitary axiomatization of the equational theory of context-free languages. (English) Zbl 1380.68289
Summary: We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of H. Leiß [Lect. Notes Comput. Sci. 626, 242–256 (1992; Zbl 0819.68073)].
MSC:
68Q70 | Algebraic theory of languages and automata |
03C05 | Equational classes, universal algebra in model theory |