09 ε-동작을 포함하는 유한 오토마톤

ε동작 공입력 ε에 의한 상태전이 ε동작을 포함하는 유한 오토마톤의 예시 임의개의 0, 임의개의 1, 임의개의 2가 순서대로 나열된 열을 수리하는 오토마톤 ε동작을 포함하는 비 결정성 유한 오토마톤(nondeterminisitc finite automaton with ε-move) (Q, Σ, δ, q0, F) Q : 상태 (state)의 유한집합 Σ : 입력알파벳 (input alphabet) δ : Q×(Σ∪{ε})→2Q의 전이함수 (transition function) q0 : q0∈Q의 초기상태 (initial state) F : F⊆Q의 최종상태 (final state)의 집합 ε동작을 포함하는 전이함수 ε-CLOSURE(q) 어떠한 상태 q에서 ε-동작에만 의해 전이되는 상태(전이처)의 집합 전이도로부터 라벨이 ε이 아닌 유향그래프를 모두 제거할때, q에서 도달 가능한 정점의 집합 P-closure = P 폐포(閉包) ε-CLOSURE(q0) = {q0, q1, q2} δ...

원문링크 : 09 ε-동작을 포함하는 유한 오토마톤