为什么无法使用下推自动机 (PDA) 定义以下语言？答案

【问题标题】：Why the following language cannot be defined using a Pushdown Automata (PDA)?为什么无法使用下推自动机 (PDA) 定义以下语言？
【发布时间】：2014-12-02 23:39:00
【问题描述】：

{0 ⁱ1 ^j2 ^k | 0

是否可以为这种语言设计 PDA？

我认为答案是否定的，它只能使用至少一个上下文无关语法来定义。

但是，我不知道为什么。我需要对此进行一些讨论和解释。

【问题讨论】：

见stackoverflow.com/questions/2597124/…
@ComputerDruid 感谢您的注意。我不知道奥格登引理。但是，我确实想知道为什么不能有这种语言的 PDA。我认为设计 PDA 是有可能的，我认为这很难，但仍然有可能。

标签： context-free-grammar automata computation-theory pushdown-automaton

【解决方案1】：

答案是否定的。实际上，这种语言既没有 CFG 也没有 NPDA。可以使用上下文无关语言的泵引理来建立证明。

【讨论】：