연세대학교 기초디지털실험 5주차 예비레포트 (finite state machine)

Ⅰ. Reseach on Theory

유한 상태 기계(Finite State Machine, FSM)는 컴퓨터 과학과 전자 공학에서 중요한 개념으로, 유한한 개수의 상태를 가지며 주어진 입력에 따라 상태가 전이되는 시스템을 모델링하는 수학적 구조이다. FSM은 주로 디지털 회로, 소프트웨어 설계, 신호 처리, 언어 인식 등 다양한 분야에서 사용된다. 유한 상태 기계의 기본 구성 요소는 상태 집합, 입력 알파벳, 전이 함수, 초기 상태, 그리고 최종 상태 집합 등이다. FSM은 크게 두 가지 종류로 나눌 수 있다. 첫 번째는 유한 상태 자동자(Finite State Automaton, FSA)로, 주로 입력 스트림에 대해 어떤 규칙을 적용해 상태를 전이하는 개념이다. FSA는 주로 수학적 모델과 형식 언어 이론에서 사용된다. 두 번째는 유한 상태 기계의 변형인 유한 상태 기계(Finite State Machine)로, 입력에 따라 출력을 생성하는 시스템이다. 이들은 출력이 입력과 상태에 의존하는 점에서 차이를 보인다. 유한 상태 기계는 특정 데이터 또는 신호를 처리하기 위해 상태를 관리하고, 이로부터 유의미한 출력을 생성하는 데 적합하다. 유한 상태 기계는 두 가지 모델로 더 세분화될 수 있다. 첫 번째는 Mealy 머…(생략)