스테이트 머신 (상태기계)- 객체가 어떤 상태인지 명확히 정하고, 그 상태에서만 가능한 행동과 전환을 허용하는 구조- 상황을 나누고, 그 상황마다 규칙을 고정하는 방식오토마타 이론추상적인 계산 모델 : 입력을 받아서 상태를 전환, 출력을 생성하는 수학적 기계 유한 오토마타푸시다운 오토마타튜링 머신 유한오토마타- DFA, NFA : 각 상태에서 각 입력마다 정확히 하나 / 0개 이상 의 전환게임에는 DFA가 적합 유한 상태 기계 (FSM)구현 방법- Enum + Switch계층적 상태 기계 (HSM)상태를 계층적으로 구성한 FSM 상속을 쓰면 계층 구조가 타입 시스템에 고정됨그러면 상태를 동적으로 재구성하기 어렵고 하나의 상태가 여러 상위 개념을 갖기 힘듬