应该说有限状态自动机属于一种特殊的有限状态机，它的输出只限于{0,1}，而且输出是1的状态是“接受状态”；所以等价地可以用是否接受状态唯一区别输出是0还是1，因此就可以省略FSM的输出了。 可以粗略地这样看，一般的有限状态机就像一个程序，有输入有输出（例如计算器）；而有限状态自动机只判断True还是False。