가. 개요
유한상태기계는 유한한 상태로 구성된 가상의 기계다. 전이조건과 상태로 구성되어있고, 대표적인 구현 방법은 상태 패턴을 이용하는 것이다.
나. 두 가지 주요 구성요소
상태 전이조건