상태의 조합과 관심 조건을 시각화하여 상태 그래프를 설명하며, 상태, 입력, 전이, 출력에 대한 개념을 다룹니다. 상태 그래프 모델의 Mealy 모델과 Moore 모델에 대한 설명도 포함되어 있습니다.

상태, 상태 그래프, 전이 테스팅 정리

상태 그래프(STATE GRAPHS) 2.1. 상태(states) 특정 시점에서의 애트리뷰트들의 조합이나 관심을 끄는 조건들을 그림으로 나타낸다. 상태 그래프에서 원(노드)이 상태를 표현한다. 예를 들어, 문자시퀀스 “ZCZC”를 탐지하는 프로그램은 아래와 같은 상태에 있을 수 있다. 2.2. 입력(inputs)과 전이(transitions) 입력으로 인해 …