07 유한 오토마톤

유한오토마톤 (finite automaton, FA) 이산적인 입력 및 출력을 가지는 기계의 수학적 모델 내부구성(상태)의 수가 유한 유한상태계의 설계를 위한 유용한 도구 엘레베이터의 제어구조 스위칭회로 유한개의 상태의 집합 각 입력기호가 일으키는 상태전이의 집합 모든 상태는 각각의 입력에 대해 전이하는 상태가 정해져 있음 한개의 초기상태 q0를 가짐 복수의 최종상태 (수리상태)를 가짐 유한오토마톤의 예시 - 강 건너기 문제 양치기(M)와 늑대(W)와 양(G)과 양배추(C)를 강 건너편까지 옮기기 배에는 남자와 하나만 태울수 있다 늑대와 양만 남으면 늑대가 양을 먹는다 양과 양배추만 남으면 양이 양배추를 먹는다 MWGC= WC=MG MWC=G C=MWG MGC=W G=MWC MG=WC =MWGC 상태전이도 (transition diagram) FA에 대응한 방향그래프 각각의 정점은 상태에 대응 간선은 상태전이에 대응 초기상태정점은 그를 나타내는 화살표가 존재 종료상태를 나타내는 정점...

원문링크 : 07 유한 오토마톤