通过下推自动机证明上下文无关语言的泵引理
形式语言与自动机理论
2013-07-09 v2
摘要
上下文无关语言的泵引理是关于下推自动机的一个结果，与著名的正则语言泵引理惊人地相似。然而，尽管正则语言的泵引理可以通过确定性自动机上的鸽巢原理简单证明，但下推自动机的泵引理是通过与上下文无关语言的等价性以及更强大的Ogden引理来证明的。我们在此提出一个基于下推自动机而非上下文无关文法的上下文无关语言泵引理的证明。
引用
@article{arxiv.1207.2819,
title = {A Proof of the Pumping Lemma for Context-Free Languages Through Pushdown Automata},
author = {Antoine Amarilli and Marc Jeanmougin},
journal= {arXiv preprint arXiv:1207.2819},
year = {2013}
}
备注
Corrected a typo in a definition, added related work, added acknowledgement, added note about proving Ogden's lemma