오토 마타 기반 프로그래밍 은 프로그램의 섹션을 유한 오토 마타로 취급하는 컴퓨터 프로그래밍 패러다임입니다. 각 오토 마톤은 한 번에 하나의 "단계"를 취할 수 있으며 프로그램 실행은 개별 단계로 나뉩니다. 단계는 "상태"를 나타내는 변수의 값을 변경하여 서로 통신하며 프로그램의 제어 흐름은 해당 변수의 값에 의해 결정됩니다.

"state"변수는 간단한 enum 데이터 유형일 수 있지만보다 복잡한 데이터 구조가 사용될 수 있습니다. 일반적인 기술은 모든 상태를 나타내는 행을 포함하는 2 차원 배열과 입력 매개 변수를 나타내는 열을 생성하는 것입니다. 행과 열이 만나는 테이블의 값은 두 조건이 모두 충족 될 때 시스템이 전환해야하는 다음 상태입니다.

유한 상태 기계, 입력, 패러다임, 프로그래밍 용어