LINGUAGENS FORMAIS

Lista de Exercícios – AFN

Soluções

1) Descreva informalmente as linguagens reconhecida pelos AF a seguir:

a) Linguagem sobre o alfabeto {a,b}, que contém a palavra vazia e todas as palavras
começadas por a, onde os a’s não aparecem consecutivos e após aparecerem dois b’s
consecutivos não aparecem mais a’s.

b) Linguagem sobre o alfabeto {a,b}, que contém a palavra vazia e todas as palavras
começadas por a, onde os a’s não aparecem consecutivos e após aparecerem dois b’s
consecutivos não aparecem mais a’s.

2) Defina AFNs para gerar cada uma das linguagens a seguir:

a) {w| w ∈ {a, b, c}* e w possui acc ou bca como subpalavra}

b) {w| w ∈ {a, b, c}* e w possui acc ou bca como sufixo}

c) {w| w ∈ {0, 1, 2}* e w possui 12 e 02 como subpalavras}

d) {w|w ∈ {0, 1, 2, 3}+ ∧ o último símbolo aparece pelo menos 2 vezes, mas qualquer
símbolo entre o último símbolo e sua última repetição tem valor menor que o último
símbolo}.
Exemplos de palavras: 102110001, 10020300, 32112, 1231313, 321332113, etc

e) {w| w ∈ {0, 1, 2}* e w não possui 121 como subpalavra e a quantidade de 0’s é ímpar}