假设我们有这个 PA：
-> q0 (e, e -> $) --> q1
在哪里：
q0是最终和初始状态；
e是ε（空）；q1 是另一个状态。
如果自动机要读取这个e词，它可以转换到 q1 或停止在 q0。
那么，这个 PA 会是非确定性的吗？
我的老师说不会，因为实际上，自动机只有一条路径可以遵循：由于单词是空的，并且所有符号都已在 q0 中消耗掉，因此它不会进行任何转换；但是，我们不确定他是否正确（顺便说一句，他说，为了让 PA 识别一个单词，它不仅需要处于最终状态，而且还必须消耗掉该单词的所有符号）。