让我们假设我们有这个PA：
-> q0 (e, e -> $) --> q1
哪里：
q0 是最终的初始状态; e 是epsilon（空）;而q1是另一种状态 .
如果自动机要读取 e 字，它可以转换到q1或停止在q0 .
那么，这个PA是非确定性的吗？
我的老师说它不会，因为实际上，自动机只有一条路径可以遵循：由于这个词是空的，所有的符号都已经在q0中被消耗了，所以它不会有任何转变;然而，我们不确定他是否正确（顺便说一句，他说，为了让PA识别一个单词，它不仅需要处于最终状态，而且所有单词的符号必须被消耗掉） .
1 回答
要使PA具有确定性，必须遵循以下规则：
如果有来自状态q的epsilon转换，则该状态不得有任何字母转换 .
因此，在您的情况下，如果没有任何其他规则，则PA是确定性的 .