×
Grathwohl, Niels Bjørn Bugge; Henglein, Fritz; Kozen, Dexter

Infinitary axiomatization of the equational theory of context-free languages. (English) Zbl 1380.68289

Fundam. Inform. 150, No. 3-4, 241-257 (2017).
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)].

Cited in 1 Review
Cited in 2 Documents

MSC:

68Q70 Algebraic theory of languages and automata
03C05 Equational classes, universal algebra in model theory

Keywords:

context free languages; Kleene algebra; algebraically complete semirings; Conway semirings; \(\mu\)-semiring

Citations:

Zbl 0819.68073
Cite Review PDF
Full Text: DOI arXiv