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,c} onde as palavras começam por a ou b, terminam

por c, os b’s não aparecem consecutivos, todo b é sucedido por pelo menos dois c’s,
qualquer sequência de c’s é precedida por b’s e qualquer sequência de a’s é sucedida
por um b.

b) Linguagem sobre o alfabeto {a,b,c} onde as palavras começam por a ou b, terminam

por c, os b’s não aparecem consecutivos, todo b é sucedido por pelo menos dois c’s,
qualquer sequência de c’s é precedida por b’s e qualquer sequência de a’s é sucedida
por um b.

2) Defina AFN ou AFN para gerar cada uma das linguagens a seguir:

a) {(ab)n | n > 0}  {(aba)n | n > 0}

b) {0i1j2k | i,j,k  0}

c) L = L1L2, onde
L1 = {w | w ∈ {0, 1, 2}*  w não contém a subpalavra 121}
L2 = {0n1m | n, m  1  n é par}

d) L = L1  L2, onde
L1 = {w | w ∈ {0, 1, 2}*  w não contém a subpalavra 121}
L2 = {0n1m | n, m  1  n é par}