下推自动机计算答案

【问题标题】：Push Down Automanton-Computation下推自动机计算
【发布时间】：2014-05-22 22:59:21
【问题描述】：

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

【问题讨论】：

【解决方案1】：

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

当n=0时，字符串为：

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

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

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

【讨论】：

【解决方案2】：

因为 NFA 接受空字符串

【讨论】：