Trab 3 LFCOMP

Prof. Edson Pessoa

Jafer Daltro 1158100
20 de abril de 2013

I - BSICO
1) Prova por Induo
Resolver os exerccios 16, 17,18 e 20 do Cap.1 e 4, 5, do Cap.2 das Notas de Aula
Cap.1

1.16:
Passo 1: Provar que se

, a expresso acima verdadeira:

(correto);

Passo 2: Supor que

Passo 3: Provar que para

para o qual a expresso verdadeira:

a expresso vlida:

Temos que
, por definio de
somatrio, e, portanto,
Logo,
ao expandir a igualdade anterior. Como o
resultado que segue do uso da hiptese igual ao encontrado na definio, a expresso
dita vlida

1.17 Expresso:
, a ser provada vlida,
Temos que para
, o que correto.
Supondo que para um nmero qualquer a expresso vlida, temos:
.
Se, seguindo da suposio anterior, afirmarmos tambm que o caso
tambm vlido, temos:

da expresso

. Como podemos, por definio de somatrio, afirmar que

podemos realizar a substituio utilizando a hiptese, e afirmar:

, que a mesma expresso gerada no incio

utilizando a definio.
1.18 Expresso:
Temos que para o valor inicial

a expresso vlida:

Supondo que para um valor a expresso verdadeira, temos:

Sendo que o nmero consecutivo tambm seja posto expresso, segue:
. Utilizando o que se segue da hiptese, podemos afirmar:
Pela transitividade do operador de minoridade, podemos, ento dizer:

1.20) i) Teste para o menor valor de n, n = 1:

ii) Supomos um k que satisfaa a equao:

iii) Provamos que verdade para k+1:

Dividindo por 2 nos dois membros, temos:

Assim, comparando o resultado de iii com a hiptese ii, temos que a proposio
verdadeira, pois multiplicar k! por um nmero (k+1)/2 no mudar a veracidade da
proposio.

Cap.2

2.4) i) Testamos para n = 0:

Como uma palavra cujo o nmero de repetio 0 ser , ento:
.
ii) Supomos um nmero k que satisfaz a condio:
iii) Provamos que verdade para k+1:

2) Expresses Regulares
8.c) a((a+c)*b(a+c)*b(a+c)*)c

8.d) (abc)*
aaa*bb*cc* (considerando que tenha que haver pelo menos um de cada
letra)
8.f) (a + bcc*+ c)*

8.g)

(a + b)* aabb (a + b)*

8.k)

, n = 3, 6, 9, ...

3)Gramticas
Resolver os exerccios 1, 2 e 3 Cap.3 das Notas de Aula
1.
a)
S

b)

c)

abSc
ababScc
ababAcc
ababcAdcc
ababccddcc.

2.
a)
aAbSB
aaAbbSB
aabbSB
aabbB
aabbba.

b)
S ASB
ASbBa
ASbbaa
AASBbbaa
AASbabbaa
AAbabbaa
AaAbbabbaa
Aaabbbabbaa
abaabbbabbaa.

c)
a

d)

3.
a)
b)
c)
d)

4) Autmato Finito
Resolver os exerccios 1.1, 1.5 c, d, e, f, g e h da pagina 85 do livro do Sipser (Cap 1),
bem como as letras a, b, c, d, e e do exerccio 1.6 (pag. 86).

1.4)
a)

b)

c)

d)

e)
f)

5)
a)
b) Sejam f(x,0)=1 e f(x,y+1)=f(x,y)*x. Com x=2e y0=0, temos:
f(2,0)=1;
f(2,1)=1*2=2;
f(2,2)=2*2=4;
f(2,3)=4*3=12;
f(2,4)=12*2=24;
f(2,5)=24*2=48.

c)Sendo pred(0)=0, e pred(x+1)=x, fcil observar que pred(8)=7.

d)Sejam g(x,0)=x, g(x,y+1)=pred(g(x,y)).
4.1: y0=0;
g(5,0)=5; g(5,1)=pred(5)=4; g(5,2)=pred(4)=3;
4.2 y0=0;
g(2,0)=2; g(2,1)=pred(2)=1; g(2,2)=pred(1)=0; g(2,3)=pred(0)=0;
A definio recursiva cai sobre o caso base at o fim da recurso.
6)
a) Ja foi provada, 1.18
b) Provar por induo que
i)Faa n = 1, temos:

p/ n=1,2,3,...

4 = 0(mod4) , expresso vlida.

ii)Agora supondo que a expresso valida para n = k, temos:
iii)Vamos provar que essa expresso tambm vale para k+1:
/* passo a passo:
Sabe-se que:

Utilizando isto com a hipotese, temos:

expresso vlida, portanto:

c.q.d
7)
a) L(G1) = {

b)

G3 = S
8) Expresses Regulares
e) Descreva com palavras as linguagens especificadas por cada uma das expresses
regulares a seguir:
i)Conjunto das palavras que contm apenas a, ou nenhuma letra.
ii) Conjunto das palavras sobre {a, b} em que todas as palavras se iniciam com a e no
tm dois ou mais b consecutivos.
iii) Conjunto das palavras sobre {a, b} na qual a palavra formada por dois a e um b
e pode ou no haver um prefixo ou sufixo formado por qualquer outra combinao de a
e b.
f) D a expresso regular do conjunto de palvras sobre = {a, b} que tem um numero par
de as seguidos de um numero impar de bs?
(aa)*b(bb)*
g) De a Expresso Regular do conjunto L1 = {anbm: n4 e m3}.
aaaa a*(|b|bb|bbb)
h) De a Expresso Regular do complemento de L1 do item c.
((|a|aa|aaa) b*) | (aaaa a* bbbb b*) | ((a|b)*ba(a|b)*)

i) D a Expresso Regular do conjunto de palavras sobre = {a, b, c} que no contem

mais que trs as.

9.Autmato de Pilha
Construa Autmatos de Pilha para as linguagens: Manual e com JFLAP.
a) L = { anbn, n0 }

.
b) L = { anbn+2, n0 }

c) L = { anb2n, n0 }

d) L = { a2nbn, n0 }

e) L = { anbm, mn }