Ybadoo - Soluções em Software Livre
Turmas
2º Semestre de 2026

Autômatos finitos não-determinísticos que apresentam transições em vazio são aqueles que admitem transições de um estado para outro com ε, além das transições normais, que utilizam os símbolos do alfabeto de entrada. Transições em vazio podem ser executadas sem que seja necessário consultar o símbolo corrente da fita de entrada, e sua execução nem sequer causa o deslocamento do cursor de leitura. Desenvolva um autômato finito com movimentos vazios sobre o alfabeto Σ = {1, 2, 3, 4} que reconheça a linguagem L = {w | w possui 1214 ou 2443 ou 3424 como prefixo, 141 ou 3114 ou 4324 como subpalavra e 1323 ou 243 ou 411 como sufixo}.

Solução do Exercício 04.45.