FSM   Finite State Machine   유한상태 기계, 유한상태 머신

(2020-02-05)

스테이트 머신, 유한상태기, Finite Automata, 유한 오토마타, Automation, 오토마타

Top > [기술공통]
[기초과학]
[진동/파동]
[방송/멀티미디어/정보이론]
[전기전자공학]
[통신/네트워킹]
[정보기술(IT)]
[공학일반(기계,재료등)]
[표준/계측/품질]
[기술경영]
정보기술(IT) >   1. 정보기술
[전산기초]
[컴퓨터구조]
[프로그래밍]
[데이터베이스]
[소프트웨어 공학]
[운영체제]
[정보보호/보안]
[IT 기타기술]
프로그래밍 >   1. 프로그램, 프로그래밍
[프로그래밍 언어론]
[프로그래밍 방법론]
[객체지향 프로그래밍]
[자료표현코드]
[자료구조]
[알고리즘]
[시스템 소프트웨어]
[프로그래밍언어 종류]
[프로그래밍 기타일반]
시스템 소프트웨어 > [번역/번역기]
[컴파일러]
[정규표현식]
[(기타)]
컴파일러   1. 컴파일
  2. 전처리
  3. 링커,로더
  4. 형식 언어
  5. 유한상태 머신
  6. 어휘/구문/의미 분석
  7. BNF,EBNF

Top > [기술공통]
[기초과학]
[진동/파동]
[방송/멀티미디어/정보이론]
[전기전자공학]
[통신/네트워킹]
[정보기술(IT)]
[공학일반(기계,재료등)]
[표준/계측/품질]
[기술경영]
전기전자공학 >   1. 전기 (Electricity) 이란?
  2. 전기전자공학
[디지털공학]
[신호 및 시스템]
[회로해석]
[전자기학]
[초고주파공학]
[반도체]
[전자회로]
[전기공학]
[자동제어]
[전자공학(기타일반)]
디지털공학 >   1. 디지털 공학
[(디지털) 수 표현]
[수치 코드]
[부울 대수]
[논리 게이트]
[조합논리회로]
[순서논리회로]
[표준 로직 IC]
[게이트 전기적 특성]
[프로그램 가능 IC]
[디지털 집적회로 구현]
순서논리회로 >   1. 순서회로
  2. 링 발진기
[순서회로 묘사]
[래치,플립플롭]
[레지스터,카운터]
순서회로 묘사   1. 상태
  2. 상태표,상태도
  3. 타이밍도
  4. 기억성
  5. 유한상태 기계

1. 오토마타 (Automation, Automata)

  ㅇ 자동 기계(自動機械)에 대한 추상적 모형
     - 주로, 언어에 밀접하게 관련지을 때 쓰이는 말

  ㅇ 영어 표현으로, 
     - 단수형은, 오토마튼/오토머튼 (automaton)
     - 복수형은, 오토마타/오토머터 (automata)

  ㅇ 구분
     - 유한 오토마타
     - 푸시다운 오토마타


2. 유한 상태 기계 (Finite State Machine, FSM) 또는 유한 오토마타 (Finite Automata)

  ㅇ 유한한 기억장치를 갖는 자동 기계에 대한 추상적 모형
     - 과거의 상태/신호들을 저장하는 메모리 용량이 유한개인 장치들을 가리키는 일반적인 용어

  ㅇ 기본적으로, 내부에 유한한 메모리(기억성)가 있는 기계에 대한 추상적모형
     - 즉, 디지털 시스템/디지털 컴퓨터추상적 모델

  ㅇ 이산 시간 마다 주어진 입력에 의존하여 작동하는 수학적인 기계


3. 유한 상태 기계의 요소,특징,용도

  ㅇ 유한상태기계 주요 개념적 요소들
     - 상태(State)   : 특정 시간에 처한 상황
     - 상태 간 천이(전이) : 상황 변화
     - 이벤트(Event) : 상태 간 전이를 유발시키는 사건 즉, 입력
     - 행동(동작)    : 이벤트에 반응하여 다른 상태로 전이할 때 하는 일/동작/행동

     * 즉,
        . 유한한 상태의 집합을 갖고 있으며, 
        . 입력에 따라 정해진 다음 상태로 천이하며,
        . 출력을 내놓음
           .. 입력의 끝을 만나거나 특정 상태에 이르면 정지하며, 이때 문자열을 수용 또는 거부 함

  ㅇ 특징
     - 정확하고 엄격한 매칭 조건 만 가능 (즉, 근사 매칭은 허용 안함)

  ㅇ 유한상태기계 용도
     - 순서논리회로, 프로토콜, 컴퓨터, 컴파일러 등의 동작을
     - 표현/이해/설명하고, 설계하기 위한,
     - 체계적이고 수학적인 방법의 틀을 제공


4. 유한 상태 기계의 표현

  ㅇ 유한상태기계의 도표/도형적 표현은, ☞ 상태표/상태도 참조

  ㅇ 유한상태기계의 그래프 표현은, 특수한 방향 그래프로 가능
     - 단일 출발 상태, 단일 도착 상태, 다수 중간 상태로 구성
     - 각 선분은 다음 상태로 들어가는 조건을 갖음


[컴파일러] 1. 컴파일 2. 전처리 3. 링커,로더 4. 형식 언어 5. 유한상태 머신 6. 어휘/구문/의미 분석 7. BNF,EBNF

 
        최근수정     요약목록     참고문헌