Finite State Machine(FSM)은 유한한 개수의 상태를 가질 수 있는 automata이다.