UNIVERSIDADE FEDERAL DA PARABA PROGRAMA DE PS-GRADUAO EM INFORMTICA DEPARTAMENTO DE INFORMTICA

Disciplina: Teoria da Computao Professor: Andrei de Arajo Formiga Aluna: Sskya Thereza Alves Gurgel
Lista de Exerccios 2

Exerccios
2.1 b. a+a E
E | T | F | a E | T | F | a T

1. Exerccio 2.1 2.1 a. a

ETFa

E E + T T + F F + a a+a

2.1 c. a+a+a
E E | T | F | a T

2.1 d. ((a))

E | T | F E | T | F E | T | F | a

E T F (E) (T) ((E)) ((T)) ((F)) ((a))

EE+TE+T+FT+F+a F+a+aa+a+a

Lista de Exerccios 2 Sskya Thereza Alves Gurgel

2. Itens no resolvidos do exerccio 2.4 2.4 b. {w | w Comea e termina com o mesmo smbolo}
S 0A0 | 1A1 | 0 | 1 A 0A | 1A |

2.4 c. {w | o comprimento de w mpar}

S 0A | 1A A 00A | 11A | 10A | 01A |

2.4 e. {w | w = wR, ou seja, w um palndromo}

S ASA | BAB | A | B | A1 B0

2.4 f. O conjunto vazio.

S

3. Exerccio 2.5 2.5 a. {w | w contm pelo menos trs 1s}

0, 0, 1, 1, 0, 1, 0, 1,

q0 0

, $ q1 0

q2 0

q3 0

q4 0

, $

q5 0

Comece empilhando o smbolo marcador $ na pilha, leia os smbolos da cadeia, se o smbolo for 0, permanea no mesmo estado, se for 1, avance para o prximo estado, aps ter alcanado o quinto estado, permanea no estado a qualquer smbolo lido; ao final da cadeia, se o topo da pilha o smbolo $, desempilhe-o e entre em estado de aceitao.

Lista de Exerccios 2 Sskya Thereza Alves Gurgel

2.5 b. {w | w comea e termina com o mesmo smbolo}

0,

q0 0

, $

q1 0
0, 0 1, 1

1, 0, 1,

q2 0

, $

q4 0

0, 0 1, 1

q3 0

Comece empilhando o smbolo marcador

na pilha, leia os smbolos da cadeia, no caso da cadeia

possuir apenas um smbolo, aps l-lo avance para o prximo estado, caso contrrio, empilhe o smbolo lido na pilha e avance para o prximo estado; nesse estado, leia os smbolos e permanea, adivinhe no deterministicamente o ltimo smbolo da cadeia, leia-o, avance para o prximo estado e desempilhe-o da pilha; ao final da cadeia, se o topo da pilha o smbolo $, desempilhe-o e entre em estado de aceitao. 2.5 c. {w | o comprimento de w mpar}
0, 0,

q0 0

1,

q1 0

1, 0, 1,

q2 0

A cada smbolo lido avance um estado. Quando o nmero de smbolos for par, o autmato se encontrar em um estado de no aceitao, caso o nmero de smbolos da cadeia seja mpar, este se encontrar no estado de aceitao. 2.5 d. {w | o comprimento de w mpar e o smbolo do meio 0}
q0 0 , $ q1 0
0, 0, 0 1, 1

q2 0

, $
0, 0 0, 1 1, 0 1, 1

q4 0

Comece empilhando o smbolo marcador $ na pilha, leia os smbolos da cadeia, se o smbolo for 0 e este estiver no meio da cadeia, avance para o prximo estado, caso contrrio empilhe-o e permanea; quando chegar no prximo estado, leia os smbolos e desempilhe o smbolo que est ao topo, caso o nmero de smbolos informados antes do meio da cadeia forem menores ou maiores que os lidos aps, rejeite, caso contrrio, avance para o prximo estado; ao final da cadeia, se o topo da pilha o smbolo $, desempilhe-o e entre em estado de aceitao.

Lista de Exerccios 2 Sskya Thereza Alves Gurgel

2.5 e. {w | w = wR, ou seja, w um palndromo}

0, 1,

q0 0

, $

q1 0

,
0, 0 1, 1

q2 0

, $
0, 0 1, 0

q4 0

Comece empilhando o smbolo marcador

na pilha, leia os smbolos da cadeia e empilhe-os,

adivinhe no deterministicamente o smbolo do meio (se houver) e passe para o prximo estado, leia os smbolos, a cada lido verifique se este o mesmo que est ao topo da pilha, se sim desempilhe o smbolo que est ao topo e permanea no mesmo estado, caso contrrio rejeite; ao final da cadeia, se o topo da pilha o smbolo $, desempilhe-o e entre em estado de aceitao. 2.5 f. O conjunto vazio.

q0 0

Ao ler nenhum smbolo entre em estado de aceitao, caso contrrio, rejeite. 4. Itens no resolvidos do exerccio 2.6 2.6 b. O complemento da linguagem {anbn | n0}.
S aAX | XBb | Y | XAa | bBX X aXb | | Y A aA | B bB | Y bYa | bXa |

2.6 d. {x1#x2#...#xk | k 1, cada xi {a,b}*, e para algum i e j, xi = xjR}

S YRY Y TX | T aT | bT | X #Y | R aRa | bXb | X#

Lista de Exerccios 2 Sskya Thereza Alves Gurgel

5. Exerccio 2.9
G:

S AC | DB A aAb | ab B bBc | bc C cC | c D aA |aA

A gramtica G ambgua, pois existem vrias maneiras de se gerar a mesma cadeia, veja: aabbcc
S A C D S B

B a b b c c

a a b b c c

6. Exerccio 2.11 2.11

qIncio

, $

, + , E T , T F , F a , + , x , ( , ) , a , E , T F , x

, E

qLao

, T

, E , $

, (

qAceita

Lista de Exerccios 2 Sskya Thereza Alves Gurgel

7. Exerccio 2.13

8. Exerccio 2.16
2.16 Mostre que a classe de linguagens livres-do-contexto fechada sob as operaes regulares unio, concatenao e estrela. L1 e L2 so Linguagens Livres-do-Contexto, existem Gramticas Livres-do-Contexto G1 e G2 tal que L(G1) = L1 e L(G2) = L2. G1: S A1B1 A1 aA1 | B1 bB1 | G2: S B2A2 A2 aA2 | B2 bB2 |

Unio: S1 a varivel inicial de G1, S2 a varivel inicial de G2. G: S S1 | S2 A1 aA1 | B1 bB1 | A2 aA2 | B2 bB2 |

Concatenao: S1 a varivel inicial de G1, S2 a varivel inicial de G2. G: S S1S2 A1 aA1 | B1 bB1 | A2 aA2 | B2 bB2 |

Estrela: S1 a varivel inicial de G1. G: S S1S A aA | B bB |