证明该语言不受上下文限制

Question

我们如何为语言设计PDA

[[value]]s

证明它没有上下文

Answer 1

您可以使用堆栈作为计数器，以获得010和101之间的数字差异，直至您已读取的数字。例如，您可以使用A来计算010（如果它们已经更多）和B来表示101.

现在在你的状态中你记得你见过的最后两个符号。如果与当前读取的符号一起形成010，则：

• 如果最上面的堆栈符号为A或堆栈为空，则将A放在堆栈上。
• 否则从堆栈中删除B。

类似于101。

因此，当你完成阅读输入时，如果要接受输入词，则堆栈中还有一个或多个A.