Fundamentos Da Teoria Da Computação - Newton Vieira - Capítulo 1

Captulo 1: Conceitos Preliminares
Newton Jose Vieira

Departamento de Ciencia da Computa cao
Universidade Federal de Minas Gerais
17 de mar co de 2011
Newton Jose Vieira Captulo 1: Conceitos Preliminares
Sumario
1 Representacao
Sumario
1 Representacao
2 Prova de Teoremas
Sumario
1 Representacao
2 Prova de Teoremas
3 Conjuntos
Sumario
1 Representacao
2 Prova de Teoremas
3 Conjuntos
4 Relacoes
Sumario
1 Representacao
2 Prova de Teoremas
3 Conjuntos
4 Relac oes
5 Func oes
Sumario
1 Representacao
2 Prova de Teoremas
3 Conjuntos
4 Relacoes
5 Funcoes
6 Conjuntos Enumeraveis
Sumario
1 Representacao
2 Prova de Teoremas
3 Conjuntos
4 Relac oes
5 Func oes
7 Denic oes Recursivas
Sumario
1 Representacao
2 Prova de Teoremas
3 Conjuntos
4 Relacoes
5 Funcoes
7 Denicoes Recursivas
8 Indu cao Matematica
Sumario
1 Representacao
2 Prova de Teoremas
3 Conjuntos
4 Relac oes
5 Func oes
9 Grafos
Sumario
1 Representacao
2 Prova de Teoremas
3 Conjuntos
4 Relacoes
5 Funcoes
9 Grafos
10 Linguagens Formais
Sumario
1 Representacao
2 Prova de Teoremas
3 Conjuntos
4 Relac oes
5 Func oes
9 Grafos
11 Gramaticas
Sumario
1 Representacao
2 Prova de Teoremas
3 Conjuntos
4 Relacoes
5 Funcoes
9 Grafos
11 Gramaticas
12 Problemas de Decisao
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Conjuntos Enumeraveis
Deni c oes Recursivas
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Problemas de Decisao
A matematica entre a entidade e a representacao
Entidade Modelo matematico Representa cao
mes n umero inteiro no um dos caracteres
intervalo [1, 12] 0 a 9, A ou B
remunera cao n umero real positivo base 10
presenca vetor de n umeros, um sequencia de
para cada dia do mes reais na base 10
FP rela cao arquivo
calculo de FP algoritmo programa
Sequencia de smbolos: elemento fundamental
das linguagens formais.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Deni coes Recursivas
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Caractersticas de provas de teoremas
Estilo:
formal informal;
conciso prolixo.
Prova:
vocabulario limitado: se . . . entao, contradi cao etc;
usa tecnicas de prova.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Conectivos logicos
Os conectivos l ogicos: , , , , , , .
Tabela da verdade para a negacao
Negacao

V F
F V
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Conectivos logicos
Tabela da verdade para a conjun cao
Conjun cao

V V V
V F F
F V F
F F F
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Conectivos logicos
Tabela da verdade para a disjun cao
Disjuncao

V V V
V F V
F V V
F F F
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Conectivos logicos
Tabela da verdade para a condicional
Condicional

V V V
V F F
F V V
F F V
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Conectivos logicos
Tabela da verdade para a bicondicional
Bicondicional

V V V
V F F
F V F
F F V
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Quanticacao
Quantica cao universal: xP(x)
P(x) e verdadeira
para todo x do universo.
Quantica cao existencial: xP(x)
P(x) e verdadeira
para algum x do universo.
Exemplo:
Expressar formalmente:
todo n umero natural par ao quadrado e par.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Armativa valida
Verdadeira para todos os valores-verdade de suas subarmativas.
Exemplos:

( )
P(a) xP(x)
xP(x) xP(x)
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Contradicao
Falsa para todos os valores-verdade de suas subarmativas.
Exemplos:

( ( ))
P(a) xP(x)
xP(x) xP(x)
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Equivalencia l ogica
se o valor-verdade de e e o mesmo para todos os
valores-verdade de suas subarmativas.
Exemplos:

( ) ( ) ( )
( )

( ) ( )
xP(x) xP(x)
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Consequencia l ogica (implicacao logica)
se e verdadeira sempre que as armativas em tambem
sao.
Exemplos:
{ , }
{ , }
{ , }
{ , }
{P(a) xP(x)
{P(a), x(P(x) Q(x))} Q(a)
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Exemplos de regras de inferencia

Relacao entre e :
se {} , entao .
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Tecnica de prova: direta
Prova direta da implica cao
Para provar :
1
Supor .
2
Provar .
Exemplo:
n e par n
2
e par.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Tecnica de prova: pela contrapositiva
Prova da implica cao pela contrapositiva
Para provar :
1
Supor .
2
Provar .
Exemplo:
n
2
e par n e par.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Tecnica de prova: para universal
Prova de uma universal
Para provar xP(x):
1
Supor um x arbitrario (que nao ocorre ainda).
2
Provar P(x).
Exemplo:
n N(n e par n
2
e par).
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Tecnica de prova: por contradicao
Prova de uma armativa por contradicao
Para provar :
1
Supor .
2
Provar uma contradi cao.
Exemplo:
Existe uma innidade de n umeros primos.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Tecnica de prova: por construcao
Prova de uma existencial por constru cao
Para provar x AP(x):
1
Encontrar um a A tal que P(a).
2
Provar P(a).
Exemplo:
n Nk N k tem n divisores distintos.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Tecnica de prova: por casos
Prova de uma armativa por casos
Para provar :
1
Provar
1
. . .
n
.
2
Provar
1
, . . . ,
n
.
Exemplo:
x, y R min(x, y) + max(x, y) = x + y.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Tecnica de prova: para bicondicional
Prova de uma bicondicional em duas partes
Para provar :
1
Provar .
2
Provar .
Exemplo:
n N (n par n
2
par).
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
O que e um conjunto?
Abstracao matematica que visa capturar o conceito de cole cao.
Lista nao ordenada de elementos ou membros: {1, 2} = {2, 1}
Notacao:
a A: a pertence a A.
a A: a nao pertence a A.
Exemplos:
{Merc urio, Venus, Terra, Marte, J upiter}
{10, Marte, {0}, {Terra, 1, 2, 3}}
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Tipos de conjuntos e conjuntos importantes
O conjunto vazio: .
Conjuntos unitario, nito, innito.
N: n umeros naturais.
Z: n umeros inteiros.
R: n umeros reais.
Q: n umeros racionais.
Notacoes importantes:
{x | P(x)}. Exemplo: {k | k = 2n + 1 e n N}.
{x A| P(x)}. Exemplo: {k R| 0 k 1}.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Relac oes entre conjuntos
Relac oes basicas entre conjuntos
Suconjunto: A B se e somente se x(x A x B).
Suconjunto proprio: A B se e somente se A B e A = B.
Exemplos:
A
A se A =

Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Operac oes sobre conjuntos
Opera coes basicas sobre conjuntos
Uniao: A B = {x | x A ou x B}.
Interse cao: A B = {x | x A e x B}.
Diferen ca: A B = {x | x A e x B}.
Complemento: A = U A.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Exemplos de identidades
A B = B A
A B = B A
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
A B = A B
A B = A B
A B = A B
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Igualdade
A = B se e somente se A B e B A.
Prova de igualdade de conjuntos
Para provar A = B:
1
Provar A B.
2
Provar B A.
Algumas vezes e possvel provar encadeando-se s.
Exemplo:
A (B C) = (A B) (A C).
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Conjuntos disjuntos
A e B sao disjuntos se e somente se A B = .
Exemplos:
{0, 2, 4} e {1, 3, 5}
e A.
A e A.
A B e B A.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Uniao e intersecao generalizadas
Uniao de n conjuntos
n
i =1
A
i
= A
1
A
2
A
n
.
Intersecao de n conjuntos
n
i =1
A
i
= A
1
A
2
A
n
.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Parti cao
Particao de um conjunto
Uma particao de A e o conjunto {B
1
, . . . , B
n
} tal que:
1
B
i
= para 1 i n;
2
B
i
B
j
= para 1 i < j n; e
3
n
i =1
B
i
= A.
Exemplo: quais sao as partic oes de {1, 2, 3}?
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Conjunto potencia; n umero de elementos
Conjunto potencia
Conjunto potencia de A: P(A) = {X | X A}.
Exemplo: que conjunto e P({1, 2, 3})?
Notacao para n umero de elementos de A: |A|.
Exemplos: || = 0, |{, 1, 2, {1, 2, 3, 4, 5}}| = 4, |P(A)| = 2
|A|
.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Produto cartesiano
Par nao ordenado: (a, b) ou [a, b].
Similarmente: tripla, quadrupla etc.
Produto cartesiano de dois conjuntos
A B = {(a, b) | a A e b B}.
Exemplos:
{1, 2} = .
{1, 2} {1, 2} = {(1, 1), (1, 2), (2, 1), (2, 2)}.
|A B| = |A|.|B| se A e B forem nitos.
Produto cartesiano de n conjuntos: A
n
.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
O que e rela cao
Relacao de n argumentos sobre A
1
, . . . , A
n
Um subconjunto de A
1
A
2
. . . A
n
.
Relacao binaria: R A B
Domnio: A.
Contradomnio: B.
Imagem: {y | (x, y) R para algum x}.
Notacao: (x, y) R e o mesmo que x R y.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Um exemplo de reacao binaria
Relacao < NN:
domnio: N;
contradomnio: N{0};
imagem: N{0}.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Propriedades
Inversa de R
R
1
= {(y, x) | (x, y) R}
Propriedades de uma relacao binaria R A A
Reexiva: x A[xRx]
Simetrica: x, y A[xRy yRx].
Transitiva: x, y, z A[(xRy yRz) xRz].
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Propriedades/exemplos
Considere as rela c oes:
< sobre N;
sobre N;
sobre P(N);
sobre o conjunto das armativas da l ogica proposicional.
Para cada uma diga se a mesma e reexiva, simetrica e transitiva.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Relacao de equivalencia
Relacao de equivalencia
Aquela que e reexiva, simetrica e transitiva.
=Induz classes de equivalencia.
Exemplos:
(mod n) = {(x, y) N
2
| x mod n = y mod n}
fazem aniversario no mesmo dia.
Que classes de equivalencia induz (mod 2)? E (mod 10)?
E fazem aniversario no mesmo dia?
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Fechos de uma relacao
Fecho reexivo
O Fecho reexivo de R A A e S tal que:
R S;
S e reexiva;
se R T e T e reexiva, S T.
Fechos simetrico e transitivo: analogos.
Qual e o fecho reexivo de <? Qual e o fecho simetrico de <?
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
O que e uma funcao
Funcao parcial
Uma fun cao f : A B: e uma relacao f A B tal que:
se (x, y) f e (x, z) f entao y = z.
(x, y) f e o mesmo que f (x) = y.
f e indenida para x se nao ha y tal que f (x) = y.
Funcao total: denida para todo argumento.
Funcao f : A B de n argumentos:
A = A
1
. . . A
n
.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Exemplos de func oes
+ : NN N (total)
/ : NN N (parcial)
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Composicao de func oes
Composicao: g f (x) = g(f (x)).
Exemplo:
Sejam f : Z N tal que f (n) = |n| + 1
g : N Z tal que g(n) = 1 n.
Entao:
g f : Z Z e tal que
(g f )(n) = g(f (n)) = g(|n| + 1) = 1 (|n| + 1) = |n|.
f g : N N e tal que
(f g)(n) = f (g(n)) = f (1 n) = |1 n| + 1.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Tipos de func oes
Uma funcao total f : A B e:
Injetora: se x, y [x = y f (x) = f (y)].
Ex: f : N N tal que f (n) = 2n.
Sobrejetora: se B e a imagem de f .
Ex: g : Z N tal que g(n) = |n|.
Bijetora: se e injetora e sobrejetora.
Ex: h : Z N tal que h(n) = 2n se n 0, e
h(n) = (2n + 1) se n < 0.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
O que e conjunto enumeravel
Cardinalidade
card(A) = card(B) se existe uma funcao bijetora de A para B.
= card(A) = card(B) se |A| = |B|, caso A e B sejam nitos.
= A e innito se existe X A tal que card(X) = card(A).
Conjunto enumeravel
A e enumeravel se card (A) = card (N).
Conjunto contavel: nito ou enumeravel.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Um exemplo de conjunto enumeravel
O conjunto Z e enumeravel:
0 1 2 3 4 5 6
. . .

0 -1 1 -2 2 -3 3
. . .
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Um teorema facilitador
As seguintes armativas sao equivalentes:
1
A e contavel.
2
Existe funcao injetora de A para N.
3
A = ou existe fun cao sobrejetora de N para A.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Mais um exemplo de conjunto enumeravel
O conjunto dos racionais positivos, QP, e enumeravel:
1 2 3 4 5
0 0 1 3 6 10
1 2 4 7 11
2 5 8 12
3 9 13
4 14
.
.
.
f (i , j ) = (i + j )(i + j 1)/2 + i e bijetora. Logo, existe uma
fun cao sobrejetora de N para QP!
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Resultados importantes
1
Todo subconjunto de conjunto contavel e contavel.
2
A B e contavel se A e B sao contaveis.
3
A B e contavel se A e B sao contaveis.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Provando que um conjunto nao e contavel
Para provar que um conjunto innito nao e enumeravel:
usar o metodo da diagonaliza cao de Cantor.
P(N) nao e enumeravel:
0 1 2 3
C
0
ou ou ou ou
C
1
ou ou ou ou
C
2
ou ou ou ou
C
3
ou ou ou ou
.
.
.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Outro conjunto nao contavel
O conjunto das fun coes f : N N nao e contavel:
0 1 2 3
f
0
f
0
(0) f
0
(1) f
0
(2) f
0
(3)
f
1
f
1
(0) f
1
(1) f
1
(2) f
1
(3)
f
2
f
2
(0) f
2
(1) f
2
(2) f
2
(3)
f
3
f
3
(0) f
3
(1) f
3
(2) f
3
(3)
.
.
.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
O que e deni cao recursiva
Denicao recursiva do conjunto A
(a) Base: especicacao de B A.
(b) Passo recursivo: como obter elementos de A a partir de
elementos de A.
(c) Fechamento: s o pertencem a A os referidos em (a) e (b).
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Denicao recursiva dos naturais
O conjunto N pode ser denido assim:
a) 0 N;
b) se n N, entao s(n) N;
c) so pertence a N o n umero que pode ser obtido de acordo com
(a) e (b).
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Denicao recursiva de fatorial
A funcao fatorial, fat : N N e denida recursivamente por:
a) fat(0) = 1;
b) fat(n) = n fat(n 1), para n 1.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Denicao recursiva de soma
Denicao recursiva da funcao + : NN N:
a) n + 0 = n, para todo n N;
b) m + s(n) = s(m + n), para todo m, n N.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Denicao recursiva da linguagem proposicional
Denicao recursiva da linguagem LP da l ogica proposicinal:
a) cada variavel proposicional pertence a LP;
b) se e pertencem a LP, entao tambem pertencem a LP:
;
( );
( );
( );
( ).
(Clausula de fechamento implcita.)
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Inducao fraca
Baseada na validade de [P(0) n(P(n) P(n + 1))] nP(n):
Princpio de indu cao fraca
Se
1
P(0), e
2
n(P(n) P(n + 1)),
entao nP(n).
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Estrutura de demonstracao por inducao fraca
1
Provar P(0).
2
Seja n 0 arbitrario.
3
Suponha (P(n) (hipotese de indu cao).
4
Provar P(n + 1).
5
Concluir nP(n).
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Uso de inducao fraca
Exemplos:
n
k=0
k = n(n + 1)/2.
n! > 2
n
para todo n 4.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Inducao forte:
Baseada na validade de n(k < nP(k) P(n)) nP(n):
Princpio de indu cao forte
Se
n (k < nP(k) P(n))
entao nP(n).
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Estrutura de demonstracao por inducao forte
1
Seja n 0 arbitrario.
2
Suponha k < n P(k) (hipotese de indu cao).
3
Provar P(n + 1).
4
Concluir nP(n).
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Uso de inducao forte
Funcao de Fibonacci:
a) F
0
= 0; F
1
= 1;
b) F
n
= F
n1
+ F
n2
para n 2.
Exemplos:
F
n
=
1
1+
5
2
5
2
.
na() = na() para toda LP.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
O que e grafo
Grafo
Um grafo e um par (V, A), sendo
V um conjunto de vertices e
A um conjunto de arestas.
Grafo dirigido: as arestas sao pares ordenados.
Grafo nao dirigido: as arestas sao pares nao ordenados.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Exemplo de grafo dirigido
Vertices: {A, B, C, D, E, F}.

Arestas: {(B, B), (B, C), (B, D), (D, E), . . .}.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Exemplo de grafo nao dirigido
Chile
Bolvia
Brasil
Paraguai
Argentina
Uruguai
Vertices: {Brasil, Bolvia, . . .}.
Arestas: {{Bolvia, Chile}, {Bolvia, Brasil}, . . .}.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Grafos rotulados
Grafos podem ter rotulos associados a suas arestas e/ou vertices.
Grafo dirigido rotulado
Um grafo dirigido rotulado e uma tripla (V, A, R),
sendo V um conjunto de vertices,
A um conjunto de arestas rotuladas, e
R um conjunto de rotulos.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Um exemplo de grafo dirigido rotulado
a

9
d
`
7
c
Vertices: {a, b, c, d, e, f }.
Arestas: {(a, 4, b), (a, 9, b), (b, 3, b), . . .}.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Alguns conceitos importantes
Grau de um vertice
N umero de arestas incidentes ao vertice.
Caminho de comprimento n de a para b
Sequencia de vertices e arestas v
0
x
1
v
1
x
2
v
2
. . . v
n1
x
n
v
n
tal que:
v
0
= a;
v
n
= b; e
x
i
= (v
i 1
, v
i
).
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Caminhos
Caminho nulo: caminho de comprimento zero.
Caminho fechado: aquele em que v
0
= v
n
.
Ciclo: caminho fechado sem vertices e arestas repetidos,
exceto v
0
e v
n
.
La co: ciclo de comprimento 1.
Caminho simples: caminho sem vertices repetidos.
Grafo acclico: grafo sem ciclos.
Grafo conexo: aquele em que existe caminho de qualquer
vertice a qualquer outro.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Arvore
Uma arvore e um grafo acclico conexo.
Arvore com raiz

Uma arvore com raiz e uma tripla (V, A, r ) tal que
a) ({v}, , v) e arvore;
b) se (V, A, r ) e uma arvore, v V e v
V, entao
V {v
}, A {{v, v
}}, r ) e arvore;
c) nada mais e arvore.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Exemplo de arvore com raiz
a
>
>
>
>>
`
`
`
`
`
`
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Terminologia associada a arvores
Filhos, pais, irmaos, descendente, ancestral.
Vertice interno, folha.
Nvel de um vertice; altura da arvore.
Arvore dirigida; ordenada.

Fronteira de uma arvore.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Conceitos iniciais
Alfabeto
Conjunto nito nao vazio (de smbolos).
Exemplos:
{1}.
{0, 1}.
{a, b, c}.
Conjunto dos caracteres do teclado.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Conceitos iniciais
Palavra (string) em um alfabeto
Sequencia nita de smbolos de .
Exemplos de palavras em {0, 1}:
(a palavra vazia), 0, 1, 00, 01, 10, 11, 000 etc.
Comprimento de uma palavra w
|w| = n umero de smbolos de w.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Notacao
a
n
abrevia n as em sequencia.
Exemplos:
1
0
= .
0
4
= 0000.
1
3
01
2
= 111011.
1
1000
= ops. . .
e o conjunto de todas as palavras sobre .

Exemplos:
{1}
= {, 1, 11, 111, 1
4
, 1
5
, . . .}.
{0, 1}
= {, 0, 1, 00, 01, 10, 11, . . .}.

Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Linguagem
Linguagem de alfabeto
Uma linguagem sobre e um subconjunto de
.
Exemplos de linguagens sobre {0, 1}:
.
{}.
{, 0}.
{w
| 1 |w| 5}.
{0
n
| n e um n umero primo}.
{0
n
1
n
| n N}.
{0, 1}
.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Operac oes sobre conjuntos se aplicam a linguagens
Sejam as linguagens L
1
sobre
1
e L
2
sobre
2
. Entao:
L
1
L
2
e uma linguagem sobre
1

2
;
L
1
L
2
1

2
;
L
1
L
2
1
;
L
1
=
1
L
1
1
;
P(L
1
) e um conjunto de linguagens sobre
1
;
P(
1
) e o conjunto de todas as linguagens sobre
1
.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Concatenacao
Concatenacao de palavras
A concatenacao de x = a
1
a
2
. . . a
m
e y = b
1
b
2
. . . b
n
e
xy = a
1
a
2
. . . a
m
b
1
b
2
. . . b
n
.
Exemplos:
se x = 001 e y = 10, entao xy = 00110
w = w = w para qualquer palavra w.
x(yz) = (xy)z para quaisquer palavras x, y e z. Assim,
pode-se escrever sem parenteses: xyz.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Uma opera cao e uma propriedade de palavras
Reverso
O reverso de w = a
1
a
2
. . . a
n
e w
R
= a
n
a
n1
. . . a
1
.
Exemplos:
R
= ; a
R
= a; (abcaabb)
R
= bbaacba.
Palndromo
Uma palavra w tal que w = w
R
.
Exemplos: , a, bb, ccc, aba, baab, abcba.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Prexos, suxos e subpalavras de uma palavra
Prexo, suxo, subpalavra
Prexo de w: palavra x tal que w = xy.
Suxo de w: palavra y tal que w = xy.
Subpalavra de w: palavra z tal que w = xzy.
Exemplos:
Prexos de abc: , a, ab e abc.
Suxos de abc: , c, bc e abc.
Subpalavras de abc: , a, b, c, ab, bc e abc.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Concatenacao de linguagens
Concatenacao de L
1
e L
2
L
1
L
2
= {xy | x L
1
e y L
2
}.
Exemplos: Sejam L
1
= {w {0, 1}
| |w| = 5} e
L
2
= {0y | y {0, 1}
}
L
1
= ; {}L
1
= L
1
;
L
1
L
1
= {w {0, 1}
| |w| = 10};
L
1
L
2
= {w {0, 1}
| |w| 6 e o sexto smbolo de w e 0};

L
2
L
1
= {w {0, 1}
| |w| 6 e w comeca com 0};

L
2
L
2
= {0y | y {0, 1}
e y contem no mnimo um 0}.

Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Fecho de Kleene de uma linguagem
L
n
designa LL . . . L (n vezes). L
0
= {} (por que?).
Fecho de Kleene de L
L
, pode ser denida recursivamente assim:

a) L
;
b) se x L
e y L, entao xy L
.
Pode-se mostrar que:
L
nN
L
n
= L
0
L
1
L
2
= {} L LL .
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Fecho positivo de Kleene de uma linguagem
Fecho positivo de Kleene de L
L
+
= LL
Pode-se mostrar que:

L
+
=
n1
L
n
= L
1
L
2
= L LL .
Segue diretamente das denicoes que L
= L
+
{}.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Exemplicando fechos de Kleene
= {}, e
+
= ;
{}
= {}
+
= {};
{0}
= {0
n
| n N} e {0}
+
= {0
n
| n 1};
{00}
= {w {0}
| |w| e par} e
{00}
+
= {w {0}
| |w| e par e |w| 2}.

{01, 1}
= {w {0, 1}
| todo 0 em w e seguido de 1}.

{, 00, 11}
= {, 00, 11}
+
= {} {00, 11}
+
.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Descrevendo linguagens por meio das operac oes vistas
o conjunto das palavras que comecam com 0: {0}{0, 1}
;
o conjunto das palavras que contem 00 ou 11:
{0, 1}
{00, 11}{0, 1}
;
o conjunto das palavras que terminam com 0 seguido de um
n umero mpar de 1s consecutivos: {0, 1}
{01}{11}
;
o conjunto das palavras de tamanho par que come cam com 0
ou terminam com 0:
({0, 1}{0, 1})
[{0}{0, 1}
{0, 1}
{0}];
o conjunto anterior:
[{0}{0, 1}({0, 1}{0, 1})
] [{0, 1}({0, 1}{0, 1})
{0}];
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Exemplos de linguagens nao tao faceis
o conjunto das palavras com um prexo de um ou mais 0s
seguido (imediatamente) de um suxo de 1s de mesmo
tamanho: {0
n
1
n
| n 1};
o conjunto das palavras formadas por concatena c oes de
palavras da forma 0
n
1
n
para n 1:
k1
{0
n
1
n
| n 1}
k
.
o conjunto das palavras de tamanho par com as duas metades
identicas: {xx | x {0, 1}
}.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Denicao recursiva de linguagens
e enumeravel.
Logo, pode-se fazer uma deni cao recursiva de uma
linguagem.
Exemplo:
a) L;
b) se x L entao 0x1 L.
Gramatica: formalismo, que permite o uso de recursao,
especialmente projetado para a denicao de linguagens.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Conceitos envolvidos em gramaticas
Alfabeto de terminais: alfabeto da linguagem denida.
Exemplo: = {0, 1}.
Alfabeto de variaveis (nao terminais): de smbolos auxiliares.
Exemplo: = {A, B}.
Regra: par ordenado (u, v), tradicionalmente escrito na forma
u v. Exemplo: 0AB 10A.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Um exemplo de derivacao
Derivacao (geracao) de 110A10A a partir de 0ABB0AB:
0ABB0AB 10AB0AB (aplicando-se a regra 0AB 10A)
110A0AB (aplicando-se a regra 0AB 10A)
110A10A (aplicando-se a regra 0AB 10A)
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Denicao informal de gramatica
Uma gramatica e constituda de uma variavel de partida e
um conjunto de regras.
Toda deriva cao deve iniciar pela variavel de partida.
Forma sentencial: palavra constituda de terminais e/ou
variaveis.
Senten ca: forma sentencial constituda de terminais apenas.
Linguagem gerada: senten cas que podem ser derivadas.
Notacao: L(G) e a linguagem gerada pela gramatica G.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Dois exemplos de gramatica
A gramatica de variavel P e as duas regras a seguir gera {0}
:
1
P 0P
2
P
A gramatica de variavel P e as duas regras a seguir gera
{0
n
1
n
| n 0}:
1
P 0P1
2
P
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Um outro exemplo de gramatica
Seja a gramatica G constituda pela variavel de partida P e pelas
regras:
1
P aAbc
2
A aAbC
3
A
4
Cb bC
5
Cc cc
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Um exemplo de derivacao
P aAbc (regra 1)
abc (regra 3)
Isso mostra que abc L(G).
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Outra derivacao
P aAbc (regra 1)
aaAbCbc (regra 2)
aaaAbCbCbc (regra 2)
aaabCbCbc (regra 3)
aaabbCCbc (regra 4)
aaabbCbCc (regra 4)
aaabbCbcc (regra 5)
aaabbbCcc (regra 4)
aaabbbccc (regra 5)
Logo, a
3
b
3
c
3
L(G). O que e L(G)?
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Denicao de gramatica
Gramatica
Uma gramatica e uma quadrupla (V, , R, P), em que:
a) V e um conjunto nito de elementos denominados variaveis;
b) e um alfabeto; V = ;
c) R (V )
+
(V )
e um conjunto nito de pares

ordenados chamados regras; e
d) P V e uma variavel conhecida como variavel de partida.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Derivacao em n passos
n
A relacao
n
e denida recursivamente assim para uma gramatica
G:
a) x
0
x para toda forma sentencial x de G;
b) se w
n
xuy e u v e regra de G, entao w
n+1
xvy.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Derivacao em varios passos
x

y, se existe n 0 tal que x
n
y.
+
x
+
y, se existe n 1 tal que x
n
y.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
A linguagem gerada por uma gramatica
L(G)
Seja G = (V, , R, P).
L(G) = {w
| P

w}.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Esquema de derivacao/Exemplo
P aAbc (regra 1)
k
aa
k
A(bC)
k
bc (regra 2, k vezes; k 0)
aa
k
(bC)
k
bc (regra 3)
a
k+1
(bC)
k1
b
2
Cc (regra 4, 1 vez)
2
a
k+1
(bC)
k2
b
3
C
2
c (regra 4, 2 vezes)
.
.
.
k
a
k+1
b
k+1
C
k
c (regra 4, k vezes)
k
a
k+1
b
k+1
c
k+1
(regra 5, k vezes)
Logo, conclui-se que {a
n
b
n
c
n
| n 1} L(G).
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Equivalencia de gramaticas
Gramaticas equivalentes
Duas gramaticas G e G
sao ditas equivalentes quando

L(G) = L(G
).
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Notacao simplicada
Duas regras com o mesmo lado esquerdo:
u v e u v
podem ser escritas assim:

u v | v
As regras 2 e 3 do exemplo seriam podem ser expressas assim:

A aAbC |
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Um outro exemplo de gramatica
G = (V, , R, E), em que:
V = {E, T, N, D};
= {+, , (, ), 0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
R contem as regras:
E E + T | E T | T
T (E) | N
N DN | D
D 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Exemplo de derivacao
Gerando sequencia de somas e/ou subtra coes de Ts:
E E + T (regra E E + T)
E T + T (regra E E T)
E T T + T (regra E E T)
T T T + T (regra E T)
= recursao `a esquerda.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Gerando sequencia de 4 dgitos:
N DN (regra N DN)
DDN (regra N DN)
DDDN (regra N DN)
DDDD (regra N D)
= recursao `a direita.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
E E + T (regra E E + T)
T + T (regra E T)
(E) + T (regra T (E))
= a variavel E aparece (recursivamente) na forma sentencial
entre ( e ).
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
O que e problema de decisao
Problema de decisao
Um problema de decisao e uma questao que faz referencia a um
conjunto nito de parametros e que, para valores especcos dos
parametros, tem como resposta sim ou nao.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Exemplos de problemas de decisao
a) determinar se o n umero 123654789017 e um n umero primo;
b) determinar se um n umero natural n e um n umero primo;
c) determinar se existe um ciclo em um grafo G;
d) determinar se uma palavra w e gerada por uma gramatica G.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Instancias de um problema de decisao
Instancia de um PD: cada questao obtida dando aos parametros
valores especcos.
Exemplo: o PD determinar se um n umero natural n e um n umero
primo tem um conjunto innito de instancias:
determinar se 0 e um n umero primo;
e assim por diante.
O PD determinar se 123654789017 e um n umero primo tem
uma unica instancia.
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Solucao para um problema de decisao
Solucao
Uma solucao para um PD, denominada procedimento de
decisao, e um algoritmo que, para qualquer instancia do PD,
retorna a resposta correta.
Representacao
Prova de Teoremas
Conjuntos
Rela c oes
Func oes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Problema decidvel
Problema decidvel
Um PD que tem solu cao e dito ser decidvel , e um PD que nao
tem solucao, indecidvel .
= Todo PD com conjunto nito de instancias e decidvel!
Representacao
Prova de Teoremas
Conjuntos
Rela coes
Funcoes
Indu cao Matematica
Grafos
Linguagens Formais
Gramaticas
Restricao de um problema de decisao
Restricao de um PD
Um PD obtido de outro, P, restringindo-se o conjunto de valores
possveis de um ou mais parametros de P.
Exemplos:
determinar se 123654789017 e um n umero primo e uma
restricao de determinar se um n umero natural n e um
n umero primo.
determinar se uma palavra w e gerada por uma gramatica
G
0
sensvel ao contexto, e uma restri cao de determinar se
uma palavra w e gerada por uma gramatica G.

Fundamentos Da Teoria Da Computação - Newton Vieira - Capítulo 1

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Fundamentos Da Teoria Da Computação - Newton Vieira - Capítulo 1

Încărcat de

Drepturi de autor:

Formate disponibile

Captulo 1: Conceitos Preliminares

Newton Jose Vieira

Vertices: {A, B, C, D, E, F}.

Arvore com raiz

Arvore dirigida; ordenada.

e o conjunto de todas as palavras sobre .

= {, 0, 1, 00, 01, 10, 11, . . .}.

| |w| 6 e o sexto smbolo de w e 0};

| |w| 6 e w comeca com 0};

e y contem no mnimo um 0}.

, pode ser denida recursivamente assim:

Pode-se mostrar que:

| |w| e par e |w| 2}.

| todo 0 em w e seguido de 1}.

] [{0, 1}({0, 1}{0, 1})

e um conjunto nito de pares

sao ditas equivalentes quando

podem ser escritas assim:

As regras 2 e 3 do exemplo seriam podem ser expressas assim:

S-ar putea să vă placă și