Lista de exercícios #1 – Soluções

Prof. Jorge C. Lucero

15 de julho de 2021

1.1 Resposta no livro.

1.2 Resposta no livro.

1.3
d d d d
u q1 q2 q3 q4 q5 d
u u u u

1.4 a. a a a a

b b b b

a a a a

b b b b

a a a

b b b a,b

b. Resposta no livro.
c. O algoritmo da página 47 produz

b b b
b

a a a a a a a a

b b b
b

que pode ser simplificado a

b b b

a a a a a a a,b
b
b b

d. Resposta no livro.
e. O algoritmo da página 47 produz

1
 a a a,b

b b

b b b

a a a

b b a,b

a a

que pode ser simplificado a

a,b

b b

a b

a a

f. a
b
a
b b
a b

b
g.
b

a a a a
b
b

1.5 a. Resposta no livro.

b. Resposta no livro.

2
 a
c.
a b

b a,b
b a

g. b b b a,b

a a a

h. a,b

a,b a,b

1.6 a. 0,1 1 0
0
0 1
1

b. 0 0 0 0,1

1 1 1

c. 1 0 0 0,1

0 1 0 1

d. 0,1 0,1 0 0,1

0,1

e. 0,1
0
0,1

1 0,1

0,1

3
f. 0 1 0,1
1
1 0
0

0,1
g.
0,1 0,1 0,1 0,1 0,1 0,1

h. 1 1 1

0
0 0
0,1

0,1

i. 1
0,1 0

0,1

j. 0 0
0

1 1 1

0 0
0

1 1
1

0,1

k.
0,1 1 0

0,1

l 1 1 1
1

0 0 0 0 0 0 0 0

1 1 1
1

4
 m. 0,1

n. 0,1
0,1

1.36 Podemos construir um AFD M = (Q, {a}, δ, q0 , F ) que reconhece Bn fazendo

Q = {q0 , q1 , . . . , qn−1 }, F = {q0 } e δ definida por δ(qi , a) = qj , com j = i + 1 mod n.

1.40 a. Resposta no livro.

b. Seja M = (Q, Σ, δ, q0 , F ) o AFD que reconhece A. O AFD M ′ = (Q, Σ, δ, q0 , F ′ ), com F ′ = {q ∈ F |
não existe um caminho de q (de comprimento maior que 0) a um estado de aceitação de M } reconhece
NÃOESTENDE(A).

1.41 Sejam MA = (QA , Σ, δA , qA , FA ) e MB = (QB , Σ, δB , qB , FB ) os AFDs que reconhecem A e B, respectiva-

mente. Para reconhecer o embaralhamento perfeito, construímos um AFD que simula a computação de
ambos MA e MB , de maneira alternada. A construção é similar ao caso da união de linguagens, exceto
que adicionamos um parâmetro índice com valores em {1, 2} para definir se o autômato deve executar
uma transição de MA ou uma de MB . Seja esse AFD M = (Q, Σ, δ, q0 , F ), então, fazemos:

i. Q = QA × QB × {1, 2}
ii. q0 = (qA , qB , 1)
iii. ∀rA ∈ QA , rB ∈ QB , x ∈ {1, 2}, a ∈ Σ, definimos

(δA (rA , a), rB , 2), se x = 1,
δ((rA , rB , x), a) =
(ra , δB (rB , a), rB , 1), se x = 2,

iv. F = FA × FB × {1}

1.62 Um AFD para Dk é

a a,b a,b a,b a,b

q1 q2 q3 ··· qk qk+1

a
b

Sua descrição formal é (Q, Σ, δ, q1 , F ), com Q = {qi | 1 ≤ i ≤ k + 1}, F = Q − {q1 } e δ definida por

 qi+1 , se 1 ≤ i ≤ k e a = a,

q2 , se i = k + 1 e a = a,

δ(qi , a) =

 q1 , se i = 1 ou i = k + 1, e a = b,
qi+1 se 2 ≤ i ≤ k e a = b.
