关于自循环，确定性或非确定性状态机的两个输入？

Question

维基百科指出，确定性状态自动化“为每个输入字符串生成自动机的唯一计算（或运行）”。

我总是将其理解为只有一条可能的路径来计算任何唯一的字符串。在这种情况下，以下是DSM。

但是现在我正在过度思考这个并将描述解释为每个输入字符串都有一个可能的路径，并且该路径在所有其他输入字符串中都是唯一的。在这种情况下，以下不是DSM，因为'11'和'12'遵循相同的路径。

所以我的问题是，以下是DSM还是NDSM？

Answer 1

它仍然是确定性的，每个州的每个输入只有一条可能的路径。 1和2只能回到自身，因为它是非确定性的，输入应该有多个可能的路径。例如，如果输入1具有从一个特定状态分支的两种可能状态。

简而言之，如果特定输入没有分支路径，并且图中没有ε-edges，那么它应该是确定性的。即没有分支路径，我们可以确定它的去向。您在上面绘制的那个我们总是可以确定特定输入的路径。

Answer 2

肯定是确定性有限自动机，因为它为任何一个州定义的每次移动都有唯一的路径。

如果我们向此自动机输入1，则从初始状态到最终状态只有1个唯一移动。在达到最终状态后，我们不关心输入是1还是2.如果为任何状态定义了多个移动，那么它将是非确定性有限自动机。