通过推动自动机证明上下文无关语言的泵引理
摘要：上下文无关语言的抽水引理的一个结果是关于推块自动机的，它与著名的正则语言的抽水引理非常相似。然而，尽管正则语言的引理仅通过在确定性自动机上使用鸽笼原理来简单证明，但推块自动机的引理通过与上下文无关语言的等价性以及使用更强大的Ogden引理来证明。我们在这里提出了一个依赖于推块自动机而不是上下文无关文法的上下文无关语言的抽水引理的证明。
作者：Antoine Amarilli, Marc Jeanmougin
论文ID：1207.2819
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-07-09