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

Prof. Jorge C. Lucero

15 de fevereiro 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.

1 Este texto é para uso exclusivo nas minhas aulas da disciplina Autômatos e Computabilidade do Departamento de Ciência da

Computação da Universidade de Brasília. Está proibida sua divulgação fora do âmbito dessas aulas e sem a minha autorização.
Por favor, informar erros a lucero@unb.br

1
 e. O algoritmo da página 47 produz

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
a
a

b a b

b b

b
g.
b

a a a a
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 ab

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 0,1
1 1
0
0 1

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.24 (a) Estados: q1 , q1 , q1 , q1 , saída: 000.

(b) Estados: q1 , q2 , q2 , q2 , saída: 111.
(c) Estados: q1 , q1 , q2 , q2 , saída: 011.
(d) Estados: q1 , q1 , q2 , q1 , q2 , saída: 0101.
(e) Estados: q1 , q3 , saída: 1.
(f) Estados: q1 , q3 , q2 , q3 , q2 , saída: 1111.
(g) Estados: q1 , q3 , q2 , q1 , q3 , q2 , q1 , saída: 110110.
(h) Estados: q1 , saída: ε.

1.25 Um transdutor de estado finito é uma 5-upla T = (Q, Σ, Γ, δ, q0 ), onde:

• Q é um conjunto finito e não vazio, cujos elementos são chamados de estados,

• Σ é o alfabeto de entrada,
• Γ é o alfabeto de saída,
• δ : Q × Σ → Q × Γ é a função de transição,
• q0 ∈ Q é o estado inicial.

Seja w = w1 w2 · · · wn uma cadeia com cada wi ∈ Σ, e v = v1 v2 · · · vn uma cadeia com cada vi ∈ Γ.

Dizemos que T dá como saída v se existe uma sequência de estados r0 , r1 , . . . , rn , com cada ri ∈ Q, tal
que:

• r0 = q0
• δ(ri , wi+1 ) = (ri+1 , vi+1 ), para i = 0, 1, . . . , n − 1

1.26 T1 = ({q1 , q2 }, {0, 1, 2}, {0, 1}, δ, q1 ), onde δ está definida por
0 1 2
q1 (q1 , 0) (q1 , 0) (q2 , 1)
q2 (q1 , 0) (q2 , 1) (q2 , 1)

T2 = ({q1 , q2 , q3 }, {a, b}, {0, 1}, δ, q1 ), onde δ está definida por

a b
q1 (q2 , 1) (q3 , 1)
q2 (q3 , 1) (q1 , 0)
q3 (q1 , 0) (q2 , 1)

1.27 0/1
1/0

0/0
1/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 comprimento maior que 0) q a um estado de aceitação de M } reconhece
NÃOESTENDE(A).

5
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:

• Q = QA × QB × {1, 2}
• q0 = (qA , qB , 1)
• ∀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,

• 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.
