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

Ⅰ. Theory

유한 상태 기계(Finite State Machine, FSM)는 이산적인 상태를 가지며 각 상태에서 특정 입력을 받아 다른 상태로 전이하는 모델이다. 이 모델은 주로 컴퓨터 과학, 전기 공학 및 시스템 설계에서 사용되며, 시스템의 동작을 수학적으로 기술하는 데 유용하다. FSM은 상태, 상태 전이, 입력 및 출력으로 구성된다. 상태는 시스템이 현재 어떤 조건에 있는지를 나타내며, 상태 전이는 입력에 따라 상태가 변화하는 과정을 의미한다. 각 상태에서 시스템은 특정 입력을 받을 때 정해진 규칙에 따라 전이한다. 입력은 외부에서 들어오는 신호나 특정 조건을 나타내며, 출력은 가능한 상태에서 발생할 수 있는 행동이나 응답을 포함한다. FSM의 두 가지 주요 유형인 유한 상태 기계와 유한 출력 기계에 대한 이해가 필요하다. 유한 상태 기계는 상태 전이를 기반으로 시스템의 동작을 설명하는 반면, 유한 출력 기계는 각 상태에서의 출력이 정의되어 있다. 이 두 모델은 상태와 입출력 간의 관계를 통해 시스템을 다룬다. FSM의 중요한 특징 중 하나는 유한성이다. 즉, 가능성이 있는 상태 수가 제한되어 있기 때문에 시스템의 분석 및 구현이 비교적 간단하다. 이…(생략)