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 Σ = {a, b, c, d} que reconheça a linguagem L = {w | w possui baca ou caab ou dcda como prefixo, abca ou bdda ou dad como subpalavra e add ou cab ou dbcb como sufixo}.

Solução do Exercício 04.44.