LINGUAGENS FORMAIS

Lista de Exercícios – AFD

Soluções

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

a) Linguagem sobre o alfabeto {0,1}, tal que as palavras terminam em 1.

b) Linguagem sobre o alfabeto {0,1}, tal que as palavras possuem pelo menos um símbolo e o
mesmo símbolo não aparece em posições consecutivas.

c) Linguagem sobre o alfabeto {a,b,c,d}, tal que as palavras possuem a subpalavra “aab”.

d) Linguagem sobre o alfabeto {0,1}, tal que as palavras possuem um número par 0’s de e
um número ímpar de 1’s
2) Considerando os autômatos indicados, determine o resultado das funções a seguir,
mostrando os passos do cálculo. Além disso, informar se a palavra dada como argumento
para a função pertence ou não à linguagem descrita pelo respectivo autômato.

a) 𝛿̂ (𝑞0, 𝑐𝑎𝑎𝑏𝑑), para o autômato do exercício 1c.

𝛿̂ (𝑞0, 𝑐𝑎𝑎𝑏𝑑) = 𝑞3
A palavra caabd pertence à linguagem reconhecida pelo autômato

b) 𝛿̂ (𝑞0, 𝑐𝑎𝑎𝑏𝑑), para o autômato do exercício 1c.

𝛿̂ (𝑞0, 𝑎𝑎𝑐𝑑𝑎) = 𝑞1
A palavra aacda não pertence à linguagem reconhecida pelo autômato

c) 𝛿̂ (𝑠0,01001), para o autômato do exercício 1b.

𝛿̂ (𝑠0,01001) = 𝑖𝑛𝑑𝑒𝑓𝑖𝑛𝑖𝑑𝑜
A palavra 01001 não pertence à linguagem reconhecida pelo autômato

3) Defina um AFD para gerar cada linguagem 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 não possui 010 como subpalavra e a quantidade de 2’s é par}