이 DFA가 맞습니까?

Question

허용되는 DFA를 구성해야합니다.

{w | w는 'aa'및 'aaa'를 제외한 단어입니다.

올바른 문자입니까? solution? 두꺼운 라인 상태가 종료 상태로 간주됩니다.

편집

SRY는 어떻게 든 두 개의 서로 다른 운동을 혼합. 수정 됨.

편집 2

다음은 수정 solution의 (?)!

Answer 1

문맥 상 유용하기 때문에 답변을 그대로 두겠습니다.

질문에 대한 업데이트와 제안 된 솔루션의 추가 업데이트를 통해 유효하다고 생각됩니다. 잘 했어! 역사적 목적 ===========

중요 사항에 대한

========= 이전 게시물 : AA는 AAA의 문자열입니다. 그러므로 aa를 제외하면 aaa, aaaa 및 aaaaa가 자동으로 제외됩니다. 즉, 한 번에 하나씩 만 가질 수 있음을 의미합니다.

그래서 a를 추가 할 때마다 수락 상태로 이동해야합니다. 그 후에 a를 추가 할 때마다 무엇이든지 반복적으로 반복하는 비 승인 상태로 이동해야합니다.

다음은 내가 생각해 낸 것입니다. 그냥 추천하지 않습니다 ... 내려 놔. 이것에 대해 생각하다. 이러한 문제는 어떻게 생각하는지 훈련하는 데 매우 중요합니다! 너 자신을 망치지 마라! 실패를 향해 선 아래로 당신을 이동 -

는 S 코너에 + 상태

B +-+ A +-+ A X-X A | B 
+---|S| ---> |1| ---> |2| ------+ 
| +-+  +-+  X-X  | 
+___^ ^___B___|  ^________+ 

"" - ends on start - okay 
"B" - ends on start - okay 
"A" - ends on 1 - okay 
"AA" - ends on 2 - not accepted 
"BAA" - Stats on S, goes to S, goes to 1, goes to 2 - not accepted. 

에게 동의하지 나타내고 상태를 모서리에 X을 받아냅니다 상태를 시작이다. B - 재설정합니다. 두 행에 당신이 실패 : (