维基百科指出确定性状态自动化“为每个输入字符串生成自动机的唯一计算（或运行）”。自循环，确定性或非确定性状态机上的两个输入？
我一直认为这是因为只有1个可能的路径来计算任何唯一的字符串。在这种情况下，以下是DSM。
但是现在我正在反思这一点，并将描述解释为每个输入字符串都有一个可能的路径，并且该路径对所有其他输入字符串都是唯一的。在这种情况下，以下不是DSM，因为'11'和'12'遵循相同的路径。
所以我的问题是，下面是DSM或NDSM？
它仍然确定性的，只有一个用于从每个状态的每个输入可能的路径。 1和2只能回到自己，因为它是非确定性的，输入应该有多个可能的路径。例如，如果输入1有两个可能的状态从一个特定状态分支出来。
总之，如果没有特定输入的分支路径，并且图中没有ε-edges，它应该是确定性的。即没有分支路径，我们可以确定它的去向。您在上面绘制的那个我们总是可以确定特定输入的路径。
它肯定是一种确定性有限自动机，因为它对于为任何状态定义的每一个移动都有独特的路径。
如果我们输入1给这个自动机，只有一个唯一的移动定义为1从初始状态到最终状态。在达到最终状态后，我们不在乎输入是1还是2.如果为任何状态定义了多个移动，它将是非确定性有限自动机。