NFA는 엡실론 전환을 어떻게 사용합니까?

아래 그림에서이 NFA가 정확히 무엇을 받아들이고 있는지 파악하려고합니다.

나를 혼란스럽게하는 것은 q 0 에서 의 점프 입니다.$\epsilon$$q_0$

• 경우 을 입력, 모두 시스템 이동하지 Q 0 및 Q 1 (상태를 동의)을?$0$$q_0$ $q_1$

• 경우 입력, 모두 시스템 이동하지 Q 1 과 Q 2를 ?$1$$q_1$$q_2$

• 입력 이 없으면 (빈 문자열) 시스템이 (상태 수락) 로만 이동 합니까?$q_1$

전환 이있는 상태에있을 때마다 자동으로 BOTH 상태에 있으므로이를 단순화 할 수 있습니다.$\epsilon$

문자열이 이면 오토마타는 q 0 과 q 1 에서 끝납니다.$\epsilon$$q_0$$q_1$

문자열이 '0'이면 과 q 1에 다시 있습니다.$q_0$$q_1$

문자열이 '1'인 경우 에있을 것입니다. q 0 의 지점에서 보면 '1'이 q 2로 전이 되지만 케이스를보아야하기 때문입니다. 에 Q 1 (당신이 있다면 Q 0 당신은 항상 있었다 q를 한 후 더 '1'로 전환이 대체 경로 그래서 그냥 "다이"가없는도).$q_2$$q_0$$q_2$$q_1$$q_0$$q_1$

이 경우를 보면 오토마타가 , 0 ∗을 수락 하고 q 0 에서 q 1 로 이동하는 것을 쉽게 알 수 있기 때문에 q 2 에 도달하는 유일한 방법 은 0 ∗ 11 ∗ 1 이므로 오토마타를 ϵ , 0 ∗ , 0 ∗ 11 ∗$\epsilon$$0^*$$q_0$$q_1$$q_2$$0^*11^*1$$\epsilon$$0^*$$0^*11^*1$

더 궁금한 점이 있으면 물어보십시오!

$q_0$$q_0$$q_1$$q_1$

$q_0$$0$$q_0$$q_1$$0$$q_0$$1$$q_2$$1$$q_1$$q_1$$1$

$0^*+0^*11^*1$$0$$1$

$\epsilon$$\epsilon$

이 NFA에 대한 DFA 구성을 시도했습니다.

$\sum$

$Q$

$\sigma(Q\times (\sum \cup {\epsilon} )) \to P(Q)$

$q_0 = q_0$

$F \subseteq Q, F = \{q_0\}$

$M'$

알파벳-동일

$Q' = P(Q)$

$R \in P(Q)$

$E(R)$$\epsilon$$r \in R$

$\sigma'(R,a) = \bigcup_{r \in R} E(\sigma(r,a))$

$q'_{0} = E(\{q_0\})$

$F' = P(Q) \div F$

이 FSM에 대한 일부 계산

$1.$ $\epsilon$$q'_{0} = E(\{q0\}) = \{q_0, q_1\}$$q_1$$\epsilon$

$2.$ $0*$$\sigma'(\{q_0, q_1\}, 0) = E(\sigma(q_0,0)) \cup E(\sigma(q_1,0)) = \{q_0, q_1\} \cup \{ \} = \{q_0, q_1\}$$0*$

$\{\epsilon, 0* \} \subset L (M')$

David Richerby 에게 감사합니다