JavaScript is disabled for your browser. Some features of this site may not work without it.
Infinitary Axiomatization of the Equational Theory of Context-Free Languages

Author
Grathwohl, Niels Bjørn Bugge; Henglein, Fritz; Kozen, Dexter
Abstract
We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiss (1992).
Date Issued
2013-07-01Subject
context-free language; completeness
Type
technical report