Q 는 상태 의 유한 집합 이 고 , q 0 는 초기 상태 이 며 Q 의 원소 이 다 . I 는 입력 값 의 유한 집합 이 다 . O 는 출력 값 의 유한 집합 이 다 . δ 는 현재 상태 와 입력 값 을 기반 으로 다음 상태 값 을 반환 하 는 상태 전이 함수 이 다 ( Q x I → Q ) . λ 는 현재 상태 를 기반 으로 출력 값 을 반환 하 는 함수 이 다 ( Q → O ) .