UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO

UNIVERSIDADE ABERTA DO BRASIL

Rua Dom Manoel de Medeiros, s/n. Dois Irmos. 52.171-900 Recife- PE

1 Lista de Exerccios

Curso de Licenciatura em Computao UFRPE

Disciplina: Teoria da Computao

Professor: Cleyton Mrio de Oliveira Rodrigues

1. Nas questes abaixo, mostre o resultado de cada operao. Considere

que o alfabeto { 1, 2, 3 }. (Observao: esta a questo 2 da pgina
13 do livro).

a) 1 . 223

R.: 1223

b) 3212 .

R.: 3212

c) (11)2

R.: 1111

d) (123)0

R.: (psilon, que representa a cadeia vazia)

e) 11 subcadeia de 2131?

R.: no

f) 221 subcadeia de 221?

R: sim (pois toda cadeia subcadeia de si prpria)

2. Nas questes abaixo, compute o resultado de cada operao. O
alfabeto, dessa vez, { 0, 1, 2 }. (Esta a questo 2 da pgina 17 do
livro).

a) { , 11 } { 11, 2, 2112 }

R.: { 11, 2, 2112, 1111, 112, 112112 }

b) { 1, 211, 0022 } { 00, 211, 0022 }

R.: { 1, 211, 0022, 00 }

c) { 1, 211, 0022 } { 00, 211, 0022 }

R.: { 211, 0022 }

3. Considere o autmato D definido formalmente abaixo. Para cada cadeia,

mostre a sequncia de estados pelos quais o autmato passa ao
receber essa cadeia e diga a cadeia aceita ou rejeitada:

a) 001

R.: q1 l 0 q2 l 0 q2 l 1 q3

A cadeia aceita.
 b) 0101

R.: q1 l 0 q2 l 1 q3 l 0 q4 l 1 q3

A cadeia aceita.

c) 1001

R.: q1 q1 q2 q2 q3

A cadeia aceita.

d) 1010

R.: q1 q1 q2 q3 q4

A cadeia aceita.

4. Marque as cadeias que AFND N abaixo aceita. (2,0).

(X) aa (X) abab ( ) ab

(X) bbba ( ) baab ( ) babb

Observao: este autmato aceita todas as cadeias terminadas em aa,

ba ou bab.

Cadeia aa:
{q0} l a {q0, q1} l a {q0, q2}

A cadeia aa aceita pelo automato AFND, pois atingiu um dos estados de aceitao q2.

Cadeia bbba:
 {q0} l b {q0, q3} l b {q0} l b {q0, q3} l a {q0, q1, q4}

A cadeia bbba aceita pelo automato AFND, pois atingiu um dos estados de aceitao q4.

Cadeia abab:

q0 l a {q0, q1} l b {q0, q3} l a {q0, q1, q4} l b {q0, q2, q3}

A cadeia abab aceita pelo automato AFND, pois atingiu um dos estados de aceitao q2.

Cadeia baab:

{q0} l b {q0, q3} l a {q0, q1, q4} l a {q0, q1, q2} l b {q0, q3}

A cadeia baab rejeitada pelo automato AFND, pois atingiu os estados q0 e q3, e nenhum dos
estados finalizados so estados de aceitao.

Cadeia ab:

{q0} l a {q0, q1} l b {q0, q3}

A cadeia baab rejeitada pelo automato AFND, pois atingiu os estados q0 e q3, e nenhum dos
estados finalizados so estados de aceitao.

Cadeia babb:

{q0} l b {q0, q3} l a {q0, q1, q4} l b {q0, q2, q3} l b {q0, q1}

A cadeia babb rejeitada pelo automato AFND, pois atingiu os estados q0 e q1, e nenhum dos
estados finalizados so estados de aceitao.
5. Considerando o alfabeto {a, b}, crie um autmato (AFD ou AFND ou -
AFND) para representarar a linguagem que tem todas as cadeias que
apresentam uma quantidade de as mltipla de 3 (a quantidade de bs
livre). Exemplos de cadeias dessa linguagem: aaa, aaba, babaa,
abaababaa, aabaabaa, aaabbb, etc.

Observaes:
1) O estado q1 representa leu uma quantidade mltipla de 3 de
simbolos as. O estado q2 representa leu uma quantidade mltipla de
3, mais 1 smbolo a. O estado q3 representa leu uma quantidade
mltipla de 3, mais 2 smbolos as.

2) O nmero 0 um mltiplo de 3, ento, sem ler nenhum a, o autmato

acima tambm aceita a cadeia. Se o aluno considerar que a quantidade
de as no pode ser zero (tem que ser 3 ou mais), ele pode responder
com um autmato assim, que ser aceito: