결정적 유한 상태 오토 마톤 (DFA) 시험 Q

Question

질문 :

디자인 다음 사양에 따라 결정적 유한 상태 오토 마톤 (DFA) : 그것의 알파벳 

은 {0, 1}.

 해당 언어는 홀수가 1 인 모든 단어로 구성됩니다.

 0이 허용되지 않습니다 (문자가 알파벳의 일부 임에도 불구하고). 이에 의해 그래서

는 내가 그것을 작동하지만, 그것은 단지 "111"예를 들어 수용하고 "11"

내 첫 번째 시도를 거부합니다 의미 확신이 0의 받고있다 (111 (11)을 거부 허용)

내 두 번째 시도는 내가 먼저 다이어그램을 전환 테이블을 만들려고하지만, 내가 잘못

내 테이블 내가 생각 it..worked 내 마지막 시도를했다하지 않는 한 1 분기는 2 분기에 더 단계 없었다? 하지만 난이 그림이 유효한지 확실하지 않다

누군가가 나에게 올바른 방법과 정확히 어떻게 내가이 문제를 해결 할를 향하고/올 3 다이어그램있는 몇 가지 통찰력을 줄 수/전환 테이블을

업데이트 :이 @Pavel Paja는 Halbich

Answer 1

귀하의 최종 다이어그램 (유효하지만) 좋은처럼 당신은 의미합니까. 이 유효 얻으려면, 당신은 전환을 추가해야합니다

• Q1 - 0
• Q2 사용> Q2 - 0.1을 사용하여> Q2 (이것은 고전적인 상태가 실패)

다음

당신 것 3 개의 상태를 가지며 각 상태가 다른 상태, 하나의 시작 상태 (q0) 및 한 세트의 수용 상태 ({q1})로 정의 된 상태를 갖는다.