Finite Automata

정규 문법을 컴퓨터로 구현하기 위한 인식기 finite automata 에 대해서 알아보자.

유한 자동

$FA=(Q, \sum , \delta , q_0, F)$

로 표현된다.

• Q 상태들의 집합(V_N과 동일)
• Σ 입력 심볼들의 집합(V_T와 동일)
• δ mapping 함수( P 와 동일)
• q₀ 시작 상태(S 와 동일)
• F 종료 상태