DFA 状态是否可以有两个指向具有相同值的箭头

Question

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

Answer 1

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

    x
A ----> B
|       |
|y      |z
|       |
V   z   V
C ----> D