dfa - DFA 状態に、同じ値を指す 2 つの矢印を設定できますか?

Question

DFA と見なされるためには、各状態に、別の状態を指す同じ値を持つ複数の矢印を設定することはできません。しかし、DFA は、同じ値を指す 2 つの矢印を持つ状態を持つことができますか?

Answer 1

もちろん。各応答が確定的である限り、複数の状態が同じ次の入力で同じ状態になる可能性があります。いずれかの状態にしか存在できないため、決定論が失われることはありません。

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