Ybadoo - Soluções em Software Livre
Tutoriais
Linguagens Formais e Autômatos

Desenvolva um autômato finito determinístico sobre o alfabeto Σ = {w, x, y, z} que reconheça a linguagem L = {w | w possui wwzx ou zwzw ou zxyw como prefixo, wzyzy ou zwxxw ou zxxwz como subpalavra e wzw ou xww ou zyx como sufixo}.