推下Automanton计算

时间：2014-04-09 15:46:00

标签： computer-science computation-theory computation pushdown-automaton

我试图了解PDA的工作原理。在下图中，我了解了转换函数的工作原理以及堆栈必须如何更新。但我唯一的问题是为什么Start状态也是一个接受状态？而PDA用于L = {on1n | n≥0}，表示不能接受空字符串。 有人可以解释一下开始接受状态的原因吗？

enter image description here

2 个答案:

答案 0 :(得分：0)

L = {0 n 1 n | n≥0}

当n = 0时，字符串为：

0 0 1 0 = 0 0后跟零1，即空字符串。所以根据定义，语言L确实包含空字符串。

如果不接受空字符串，则定义为：

L = {0 n 1 n | n> 0}

答案 1 :(得分：0)

因为NFA接受空字符串

相关问题
最新问题