Fundamentos da Teoria da Computaca

o
Professor: Newton Jose Vieira
Lista de Exerccios Preparat
oria para a Primeira Prova

1o semestre de 2013
DCC/ICEx/UFMG

1. Faca definic
oes recursivas das seguintes linguagens, considerando a concatenac
ao como a
operac
ao b
asica no passo recursivo:1
a) {0, 1}+ .
b) {0, 1} {0}{0, 1} .
c) {0}{0, 1} {0}.
d) {0n 13n | n N}.
e) {wwR | w {0, 1} }.
f ) {x1 + + xn | n 1 e xi {0, 1}+ para i = 1, . . . , n}. Dica: Faca duas definicoes
recursivas separadas, a primeira definindo o que pode ser cada xi .
2. Perguntinhas:
(a) Que palavras tem cada uma das linguagens a seguir?
; + ; {} ; {}+ ; {0} ; {0}+ ;{, 0} ; {, 0}+ .
(b) Em que situac
oes L e L+ s
ao finitas?
(c) Seja um alfabeto. Explique que palavras pertencem a cada uma das linguagens:
n para cada n 0; que valor tem |n |?
( {})n para cada n 0; que valor tem |( {})n |?
(d) Sejam = {a, b}, A = {a}+ e B = {b}. Apresente uma condic
ao necess
aria e
suficiente para que uma palavra de pertenca a AA, AB, BB, A B, A B e
B A.
3. Descreva as linguagens a seguir, todas sobre o alfabeto {0, 1}, usando apenas conjuntos
finitos e operac
oes de uni
ao, intersec
ao, complementac
ao, concatenac
ao e fecho de Kleene.
Procure obter uma descric
ao bem concisa.
(a) O conjunto das palavras de prefixo 01.
(b) O conjunto das palavras que n
ao contem 01 como sufixo.
(c) O conjunto das palavras que n
ao contem 01 como subpalavra.
umero par de 0s.
(d) O subconjunto das palavras de {0} {1} com n
(e) O conjunto das palavras com no m
aximo vinte smbolos.
(f) O conjunto das palavras que contem pelo menos um 0 e um 1.
(g) O conjunto das palavras em que todo 0 e seguido de pelo menos dois smbolos.
(h) O conjunto das palavras que contem pelo menos um 00, mas nenhum 11.
1

Veja a Sec
ao 1.7, p
ag. 28, do livro-texto.

4. Identifique as linguagens que s

ao geradas pelas gram
aticas a seguir:
(a) G1 = ({P, X}, {a, b}, R1 , P ).
R1 : P aP | Xb |
X aP
(b) G2 = ({P, X}, {a, b}, R2 , P ).
R2 : P aaP | Xb |
X aP
(c) G3 = ({P, A}, {0, 1}, R3 , P ).
R3 : P aP a | A
A bAb |
(d) G4 = ({A, X}, {0, 1}, R4 , A).
R4 : A XAX | X
X 0X0 | 1X1 | 0 | 1
(e) G5 = ({X, B}, {a, b, c}, R5 , X).
R5 : X aBX | abc
Ba aB
Bb bB
Bc bcc
5. Obtenha gram
aticas para as linguagens da quest
ao 1.
6. Construa aut
omatos finitos determinsticos (AFDs) que reconhecam as linguagens da
questao 3. Apresente apenas os diagramas de estados.
7. Construa AFDs que reconhecam as linguagens a seguir. Apresente apenas os diagramas
de estados.
(a) {w {0, 1} | |w| 2 e o primeiro e o pen
ultimo smbolos de w s
ao 1}.
(b) {w {0, 1} | o u
ltimo smbolo de w e diferente do primeiro}.
(c) {w {0, 1} | os tres u
ltimos smbolos de w n
ao s
ao 000}.
(d) {x10n | n 0, x {0, 1} e x tem n
umero par de 0s}.
8. Faca AFDs que reconhecam: X = {0}{0, 1} . e Y = {0, 1} {1}. Bastam apenas os
diagramas de estados. Em seguida, obtenha o produto dos dois AFDs e explicite que
estados finais ele deve ter para reconhecer:
(a) X Y .
(b) X Y .
(c) X Y .
9. Explique porque se um AFD M reconhece uma palavra de tamanho maior ou igual ao
n
umero de estados de M , ent
ao L(M ) e infinita.
10. Construa AFNs para as seguintes linguagens, com o menor n
umero de estados e de
transic
oes que conseguir:

(a) O conjunto das palavras de {a, b, c} , de dois ou mais smbolos, em que o u

ltimo
smbolo seja diferente do primeiro.
(b) O conjunto das palavras de {a, b, c} em que o u
ltimo smbolo tenha ocorrido antes
no mnimo uma vez.
(c) O conjunto das palavras de {a, b, c} em que o u
ltimo smbolo tenha ocorrido antes
no m
aximo duas vezes.
11. Seja o AFN com o diagrama de estados a seguir:
1
0
1

2
0
0
1
3

4
1

Construa um AFD equivalente usando o metodo visto em aula (subset construction).

12. Seja o AFN M :
a
A

D
d

E
a

13. Construa um AFN N , equivalente a M , usando o metodo visto em aula.