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