Abstract
We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).
You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026
Select search scope: search across all journals or within the current journal
We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).