具有 Epsilon 转换的下推自动机是 NDPA 吗？答案

【问题标题】：Is a Pushdown Automaton with an Epsilon Transition a NDPA?具有 Epsilon 转换的下推自动机是 NDPA 吗？
【发布时间】：2015-10-07 19:27:03
【问题描述】：

假设我们有这个 PA：

-> q0 (e, e -> $) --> q1

地点：

q0 是最终和初始状态； e 是 epsilon（空）；而 q1 是另一个状态。

如果自动机要读取e 字，它可以转换到 q1 或停止在 q0。

那么，这个 PA 是非确定性的吗？

我的老师说不会，因为实际上，自动机只有一条路径可以遵循：由于单词是空的，并且所有符号都已在 q0 中消耗，因此它不会进行任何转换；但是，我们不确定他是否正确（顺便说一句，他说，为了让 PA 识别一个单词，它不仅需要处于最终状态，而且还必须消耗掉该单词的所有符号）。

【问题讨论】：

【解决方案1】：

要使 PA 具有确定性，它必须至少遵循以下规则：

如果从状态 q 有一个 epsilon 转换，那么从那个状态不能有任何字母转换。

因此，在您的情况下，如果没有任何其他规则，则 PA 是确定性的。

【讨论】：