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

Desenvolva um autômato finito determinístico sobre o alfabeto Σ = {x, y, z} que reconheça a linguagem L = {w | w possui [xxy como prefixo, [xyx como subpalavra e xxz ou yxy como sufixo] ou [yzx como subpalavra e xyz ou zxy como sufixo]] ou [yyz como prefixo, [yzy como subpalavra e yzz ou zyx como sufixo] ou [zxz como subpalavra e xzy ou zzy como sufixo]]}.