Infinitary Axiomatization of the Equational Theory of Context-Free Languages
Niels Bj{\o}rn Bugge Grathwohl (University of Copenhagen), Fritz, Henglein (University of Copenhagen), Dexter Kozen (Cornell University)
TL;DR
This paper provides a comprehensive infinitary axiomatization of the equational theory of context-free languages, resolving a longstanding open question in formal language theory.
Contribution
It introduces a natural, complete infinitary axiomatization for the equational theory of context-free languages, addressing Lei{ extquoteright}s 1992 question.
Findings
Established a complete infinitary axiomatization
Resolved Lei{ extquoteright}s 1992 open problem
Advances understanding of the algebraic structure of context-free languages
Abstract
We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Lei{\ss} (1992).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.