====== JFiZO - Zadanie 09.007 ======

13 stanów. Konstrukcja trywialna.
Szkic dowodu: rozważmy język sufiksów najwyżej 4-znakowych wyrazów naszego języka (czyli $\epsilon, a, aa, aaa, \ldots$). Podobnie jak w zadaniu 001, pokażmy że automat nie może mieć mniej niż 13 stanów.

{{tag>[listy_zadan]}}