Linguagens Formais e Autômatos

Prof. Andrei Rimsa Álvares

Lista de Exercícios V
Autômatos Finitos Não Determinísticos
Exercício 01) Construa AFN's para as seguintes linguagens sobre Σ = {a, b, c}:
a) {w ∈ {a, b, c}* | w possui pelo menos uma ocorrência de aba ou de
bcb ou de cac}
b) {w ∈ {a, b, c}* | w começa com o mesmo símbolo da penúltima
posição de w}
c) {w ∈ {a, b, c}* | tal que o último símbolo de w tenha ocorrido pelo menos
duas vezes antes}
d) {w ∈ {a, b, c}* | tal que toda subpalavra de w de tamanho 4 possua
pelo menos um aa}
e) {w ∈ {a, b, c}* | tal que o último símbolo de w não tenha ocorrido
antes}
Exercício 02) Obtenha o AFD equivalente para o seguinte AFNλ com o diagrama
de estados:

Exercício 03) Considere a seguinte linguagem {0}*{1} ∪ {1}*{0}.

a) Obtenha o AFN como o menor número de estados e transições que
reconheça esta linguagem.
b) Obtenha o AFD equivalente ao AFN construído no item anterior.
Exercício 04) Seja 𝑀 = (𝐸, Σ, δ, I, F) um AFN qualquer. Mostre que é possível
construir um AFNλ M' equivalente a M que possua somente um estado inicial e
somente um estado final.
Exercício 05) Obtenha AFD's equivalentes para cada um dos AFN's elaborados
no Exercício 1 dessa lista.