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

Question

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

Answer 1

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

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