위키백과 > 유한 상태 기계
📌 모든 주어진 순간에, 프로그램에 속해 있을 수 있는 State들의 개수가 유한한 오토마타
- 한 번에 하나의 State만을 가짐
- Start State: 유한 오토마타가 입력값을 처리하기 전의 상태
- Accept/Final States: 유한 오토마타의 입력값이 받아들여질 때, 최종적으로 도달하게 되는 State들의 집합
- 전이 (Transition): 미리 정해진 유한한 규칙에 따라 (= 특정 State일 때 특정 Event가 발생했을 때) 한 State에서 다른 State로 변화하는 것