fsm 예제

수락자(인식기 및 시퀀스 검출기라고도 함)는 수신된 입력이 허용되는지 여부를 나타내는 이진 출력을 생성합니다. FSM의 각 상태는 “수락” 또는 “수락 안”입니다. 모든 입력이 수신되면 현재 상태가 수락 상태인 경우 입력이 수락됩니다. 그렇지 않으면 거부됩니다. 일반적으로 입력은 기호(문자)의 시퀀스입니다. 작업이 사용되지 않습니다. 그림 4의 예는 문자열 “nice”를 허용하는 유한 상태 컴퓨터를 보여 주며 있습니다. 이 FSM에서 유일한 수락 상태는 상태 7입니다. 상태 컴퓨터를 나타내는 데 사용할 수 있는 다른 의미 체계 집합이 있습니다. 예를 들어 임베디드 컨트롤러에 대한 논리를 모델링하고 설계하는 도구가 있습니다.

[10] 계층적 상태 머신(일반적으로 두 개 이상의 현재 상태 있음), 흐름 그래프 및 진실 테이블을 하나의 언어로 결합하여 다른 형식주의와 의미 체계 집합을 만듭니다. [11] 이러한 차트는 Harel의 원래 상태 컴퓨터와 마찬가지로 계층적으로 중첩된 상태, 직교 지역, 상태 작업 및 전환 작업을 지원합니다. [13] 예를 들어, DFA에서 {a{{a{a{a{a}{a}{a}}}는 {a,b{{a,b,b}로 이동하여 위의 NDFA에서 부터 입력 0에 {a}{a{a{{a}{a}}}}}}를 상태는 Aaa와 상태 bbb로 이동합니다. 이 프로세스는 DFA 집합의 나머지 상태에 대해 반복됩니다. 상태는 전환을 실행하기 위해 대기하는 시스템의 상태에 대한 설명입니다. 전환은 조건이 충족되거나 이벤트가 수신될 때 실행할 작업 집합입니다. 예를 들어 오디오 시스템을 사용하여 라디오를 청취하는 경우(시스템이 “라디오” 상태임) “다음” 자극을 받으면 다음 스테이션으로 이동하게 됩니다. 시스템이 “CD” 상태에 있으면 “다음” 자극이 다음 트랙으로 이동합니다.

동일한 자극은 현재 상태에 따라 다른 행동을 트리거합니다. 예를 들어 다음 문자열은 모두 이 NDFA에서 인식됩니다. 수락 상태의 예는 Fig.5에 나타납니다: 이진 입력 문자열에 짝수 0이 포함되어 있는지 여부를 검색하는 결정적 유한 자동 변환(DFA)입니다. 상태 머신에서 모델링할 수 있는 간단한 메커니즘의 예는 턴스타일입니다. [3] [4] 지하철과 놀이공원 놀이기구에 대한 접근을 제어하는 데 사용되는 회전식 은 입구를 가로 질러 허리 높이에 세 개의 회전 팔이있는 게이트입니다. 처음에는 팔이 잠겨 입구를 막아 후원자가 통과하지 못하게합니다. 턴스타일 슬롯에 동전이나 토큰을 입금하면 팔이 잠금 해제되어 단일 고객이 밀어 낼 수 있습니다.

©2019 DemiJohn

Log in with your credentials

Forgot your details?