Primeira Avaliação de Linguagens Formais e Autômatos

Professor: Jonathan Bandeira

Aluno (a):
Data:

1ª Questão (AFD - 2,0 pontos). Desenvolva um autômato finito determinístico sobre o

alfabeto Σ = {i, j, k} que reconheça a linguagem L = {w | w possui kik como sufixo}.

2ª Questão (AFN - 2,0 pontos). Desenvolva um autômato finito não-determinístico ou

de movimentos vazios sobre o alfabeto Σ = {0, 1, 2, 3} que reconheça a linguagem
L = {w | o último dígito de w seja um símbolo que não tenha aparecido anteriormente na
palavra}.
Por exemplo, 32201 é aceita; 2133 não é aceita.

3ª Questão (Definição Formal de um Autômato Finito - 2,0 pontos). Considere o

Autômato Finito Determinístico M1 = ({a, b}, {q0, q1, q2, q3, q4, q5}, , q0, {q2, q3,
q4}) e as transições:

 a b
q0 q1 q2
q1 q0 q3
q2 q4 q5
q3 q4 q5
q4 q4 q5
q5 q5 q5

a) Construa o autômato M1 descrito no enunciado (1,0 ponto).

b) Mostre 1 cadeia de palavras reconhecida por este autômato (0,5 ponto).
c) Mostre 1 cadeia de palavras rejeitada por este autômato (0,5 ponto).
4ª Questão (Equivalência de AFN e AFD - 2,0 pontos). Seja M2 um AFN com
M2 = ({0, 1}, {q0, q1, q2, qf}, , q0, {qf}) e as transições:
 (q0, 0) = {q1}
 (q0, 1) = {q2}
 (q1, 0) = {q1, qf}
 (q1, 1) = {q1}
 (q2, 0) = {q2}
 (q2, 1) = {q2, qf}
a) Construa o AFN M2 descrito no enunciado (0,5 ponto).
b) Mostre 5 cadeias de palavras reconhecidas por M2 (0,5 pontos).
c) Encontre o AFD MD equivalente (1,0 ponto).

5ª Questão (Expressões Regulares - 2,0 pontos). Construa a Expressão Regular (ER)

que represente as linguagens sobre  = {a, b}:
a) {w | w possui um número ímpar de símbolos b}
b) {w | w possui a mesma quantidade de símbolos a e símbolos b}
c) {w | w é uma palavra iniciada por b e terminada em aa}
d) {w | w tem exatamente cinco símbolos}