7

그것에 대해 긍정적 인 내용을 찾을 수 없습니다. 그리고 어떤 엡실론 전이가있는 NFA는 엡실론 -NFA입니까? 감사합니다. .DFA에서 엡실론/람다 전환이 가능합니까?

+0

람다 전환이란 무엇입니까? –

+0

일부 책에서는 엡실론 대신 람다를 사용합니다. 그건 같은거야. – liwing

답변

9

DFA에는 엡실론 전환이 없습니다. 입력 된 경우 아무 입력이 없어도 {} 또는 φ가 아닌 현재 상태에서 다른 상태로 전환 될 수 있습니다. 그리고 정의에 따르면, 입력은 입력 집합에서 나온 것이어야합니다. 이렇게하면 의심의 여지가 없어졌습니다.

+0

이 전환이 최종 상태 일 경우 어떻게해야합니까? 이 문서의 225 쪽 그림 3.51과 같이 http://www.univasf.edu.br/~marcus.ramos/lfa-2008-1/Secao%2003-06.pdf. – liwing

+0

와우 .. 이미지가 자명하다. 이제 q0가 q3으로 아무런 입력없이 이동하므로 NFA이며 엡실론 이동을하므로 엡실론 -NFA가되어 DFA가 아님. –

+0

감사합니다. 설명 – liwing

2

DFA는 한 상태에서 다른 상태로 이동하려면 명확한 입력 기호가 있어야합니다. 엡실론 이동은 DFA를 NFA로 변경하기 때문에 DFA에서 허용되지 않습니다. 예를 들어 Q1 상태에 있다고 가정하고 전환 (Q1, e) = Q2 인 경우이 경우 입력을 적용하지 않고 직접 Q2로 이동하거나 Q1 상태로 유지할 수 있으므로 두 가지 선택 기회가 있습니다 상태 Q1에서. DFA의 경우 선택 기준이 없어야합니다. 그렇기 때문에 DFA에는 엡실론 동작이 없습니다.

2

DFA의 정의에서 "Deterministic Finite Automata는 입력을받지 않고 다른 상태로 이동할 수없는 컴퓨터입니다."그리고 엡실론은 아무 의미도 없기 때문에 DFA는 엡실론 동작에서 이동할 수 없습니다.

NFA의 정의에서 "비 결정적 유한 오토마타는 입력이 없어도 다른 상태로 이동할 수있는 기계입니다. 따라서 NFA가 엡실론 동작으로 이동할 수 있습니다.

관련 문제