Infinitary Axiomatization of the Equational Theory of Context-Free Languages

Niels Bjørn Bugge Grathwohl, Fritz Henglein, and Dexter Kozen
September, 2013
Proc. 9th Workshop Fixed Points in Computer Science (FICS 2013)

Abstract

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