TechCodeview

전이 테이블은 기본적으로 전이 함수를 표 형식으로 표현한 것입니다. 두 개의 인수(상태와 기호)를 사용하고 상태('다음 상태')를 반환합니다.

전이 테이블은 다음과 같이 표시됩니다.

• 열은 입력 기호에 해당합니다.
• 행은 상태에 해당합니다.
• 항목은 다음 상태에 해당합니다.
• 시작 상태는 소스가 없는 화살표로 표시됩니다.
• 승인 상태는 별표로 표시됩니다.

예시 1:

해결책:

해당 DFA의 전환 테이블은 다음과 같습니다.

설명:

• 위 표에서 첫 번째 열은 현재 상태를 모두 나타냅니다. 열 0과 1 아래에 다음 상태가 표시됩니다.
• 전이 테이블의 첫 번째 행은 현재 상태가 q0일 때 입력 0에서 다음 상태가 q1이 되고 입력 1에서 다음 상태가 q2가 되는 것으로 읽을 수 있습니다.
• 두 번째 행에서 현재 상태가 q1이면 입력 0에서 다음 상태는 q0이 되고 입력 1에서 다음 상태는 q2가 됩니다.
• 세 번째 행에서 현재 상태가 입력 0의 q2이면 다음 상태는 q2가 되고 입력 1의 다음 상태는 q2가 됩니다.
• q0으로 표시된 화살표는 시작 상태를 나타내고 q2로 표시된 원은 최종 상태를 나타냅니다.

예 2:

해결책:

해당 NFA의 전환 테이블은 다음과 같습니다.

설명:

• 전이 테이블의 첫 번째 행은 현재 상태가 q0일 때 입력 0에서 다음 상태는 q0이고 입력 1에서 다음 상태는 q1이 되는 것으로 읽을 수 있습니다.
• 두 번째 행에서 현재 상태가 q1이면 입력 0에서 다음 상태는 q1 또는 q2가 되고 입력 1에서 다음 상태는 q2가 됩니다.
• 세 번째 행에서 현재 상태가 입력 0의 q2이면 다음 상태는 q1이 되고 입력 1의 다음 상태는 q3이 됩니다.
• 네 번째 행에서 입력 0의 현재 상태가 q3이면 다음 상태는 q2가 되고 입력 1의 다음 상태는 q2가 됩니다.