Infinitary Axiomatization of the Equational Theory of Context-Free Languages
Fundamenta Informaticae（2013）
摘要
We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Lei{\ss} (1992).
更多查看译文
关键词
Context free languages,Kleene algebra,algebraically complete semirings,Conway semirings,mu-semiring
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要