1

我知道要被视为 DFA，每个状态不能有多个具有相同值的箭头指向另一个状态。但是，DFA 是否可以具有两个指向相同值的箭头的状态？

4

1 回答 1

1

当然。只要每个响应是确定性的，几个状态就可能在下一个相同的输入上进入相同的状态。由于您只能处于其中一种状态，因此不会丢失确定性。

    x
A ----> B
|       |
|y      |z
|       |
V   z   V
C ----> D
于 2013-09-24T08:27:08.593 回答