Infinitary Axiomatization of the Equational Theory of Context-Free Languages

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

Bibliographic Details
Main Authors:	Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen
Format:	Article
Language:	English
Published:	Open Publishing Association 2013-08-01
Series:	Electronic Proceedings in Theoretical Computer Science
Online Access:	http://arxiv.org/pdf/1309.0893v1

Internet

http://arxiv.org/pdf/1309.0893v1