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

Desenvolva um autômato finito determinístico sobre o alfabeto Σ = {1, 2, 3, 4} que reconheça a linguagem L = {w | w possui 1432 ou 2341 ou 3232 como prefixo, 23434 ou 32141 ou 44123 como subpalavra e 1234 ou 3442 ou 4124 como sufixo}.