如果有歧义，有限状态机如何工作？

Question

有问题的有限状态机：-

如果我在 S0，输入是 a，我是再次重复到 S0 还是移到 S1？我不知道如何确定这一点。这种 FSM 是否有效？

这些输入组合中的哪些将以停止状态结束？

• aaabc
• ccc
• 公元前
• 英国广播公司

Answer 1

这是一个 NFA（非确定性自动机）。

自动机接受的词是：

• aaabc
• bc

https://en.wikipedia.org/wiki/Nondeterministic_finite_automaton

Answer 2

八月

只有 "aaabc" 是有效的，其余的正在停止，因为 FSM 将 "a" 作为合法的 S0 条目。