Infinitary Axiomatization of the Equational Theory of Context-Free Languages
arXiv:1309.0893 · doi:10.4204/EPTCS.126.4
Abstract
We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).
In Proceedings FICS 2013, arXiv:1308.5896