DFA 상태에 동일한 값으로 가리키는 두 개의 화살표가있을 수 있습니까?

Question

DFA로 간주 되려면 각 상태가 다른 상태를 가리키는 동일한 값을 가진 화살표를 하나 이상 가질 수는 없다는 것을 알고 있습니다. 그러나 DFA는 두 개의 화살표가 같은 값으로 가리키는 상태를 가질 수 있습니까?

Answer 1

확실히. 각 응답이 결정적이라면 여러 상태는 동일한 다음 입력에서 동일한 상태로 이동할 수 있습니다. 당신이 상태 중 하나에있을 수 있기 때문에, 결정론은 사라지지 않습니다.

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