Finding a language the accepts a given push-down automata

paul2834

New member
Joined
Mar 14, 2015
Messages
11
Ok, so given the following automata:

attachment.php

I need to find the language that accepts it (no need for formal prove, a short intuitive explanation is good enough).
I think the answer here is {\(\displaystyle {a^{11+6k},k>=0}\)}.
I can explain why the shortest word that can be received here is \(\displaystyle a^{11}\), and I can explain that this language contains the language {\(\displaystyle {a^{11+6k},k>=0}\)}, but I don't know how to explain that this is exactly the language
{\(\displaystyle {a^{11+6k},k>=0}\)}.
How can you explain that it doesn't conatin more words, for example?
 

Attachments

  • ass 4 q3d.jpg
    ass 4 q3d.jpg
    17.9 KB · Views: 6
Top