Infinitary Axiomatization of the Equational Theory of Context-Free Languages

Niels Bjørn Bugge Grathwohl
(University of Copenhagen) 		Fritz Henglein
(University of Copenhagen) 		Dexter Kozen
(Cornell University)

We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).

In David Baelde and Arnaud Carayol: Proceedings Workshop on Fixed Points in Computer Science (FICS 2013), Turino, Italy, September 1st, 2013, Electronic Proceedings in Theoretical Computer Science 126, pp. 44–55.
Published: 28th August 2013.
ArXived at: https://dx.doi.org/10.4204/EPTCS.126.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org