Computer science 下推自动机计算

Computer science 下推自动机计算,computer-science,computation-theory,computation,pushdown-automaton,Computer Science,Computation Theory,Computation,Pushdown Automaton,我试图了解PDA是如何工作的。在下图中,我了解了转换函数如何工作以及堆栈必须如何更新。但我唯一的问题是为什么开始状态也是接受状态?而PDA用于L={on1n | n≥ 0},表示它不能接受空字符串。 有人能解释一下为什么开始是接受状态吗 L={0n1n | n≥ 0} 当n=0时,字符串为: 0010=零0后跟零1,这是空字符串。因此根据定义,语言L确实包含空字符串 如果不接受空字符串,则定义为: L={0n1n | n>0}因为NFA接受空字符串

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

L={0n1n | n≥ 0}

当n=0时,字符串为:

0010=零0后跟零1,这是空字符串。因此根据定义,语言L确实包含空字符串

如果不接受空字符串,则定义为:


L={0n1n | n>0}

因为NFA接受空字符串