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.