LINGUAGENS FORMAIS

Lista de Exercícios – AFD

Soluções

1) Defina, quando possível, um AFD para gerar cada linguagem a seguir. Caso não seja
possível, justifique.

a) {anbm|n ≥ 0 ∧ m ≥ 1}

b) {aibjci|i ≥ 0 ∧ j ≥ 1}
Não é possível pois a linguagem é uma LLC
c) {w|w ∈ {0, 1}* ∧ não possui a mais de dois 1’s consecutivos}

d) {w|w ∈ {0, 1, 2}+ e não possui 1′s consecutivos e termina por 2}

e) {w|w ∈ {0, 1, 2}+ e todos os 0′s sejam consecutivos}

f) {aibjck|i,k ≥ 0 ∧ j ≥ 1 ∧ i ≠ k}
Não é possível pois a linguagem é uma LLC
g) {anbmw | n ≥ 0 ∧ m ≥ 1 ∧ w ∈ {0,1,2}* ∧ |w| é ímpar}

h) {wwR| w ∈ {0, 1}+ }

Não é possível pois a linguagem é uma LLC
i) {anbmcndm | n ≥ 0 ∧ m ≥ 1}
Não é possível pois a linguagem é uma LSC
j) {w|w ∈ {0, 1, 2}+ ∧ a quantidade de 2 é par}

k) {w|w ∈ {0, 1, 2}* ∧ não possui a subpalavra 101}

l) {w|w ∈ {a, b}* ∧ w possui uma quantidade par de a’s e uma quantidade múltipla de
3 de b’s }

m) {aibjci+j| i ≥ 1 ∧ j ≥ 0}
Não é possível pois a linguagem é uma LLC