加载中…
2013-09-04
Infinitary Axiomatization of the Equational Theory of Context-Free Languages
Niels Bjørn Bugge GrathwohlFritz HengleinDexter Kozen
文献摘要
We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Lei{\ss} (1992).
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本