Teoria da Computao e

Linguagens Formais
Prof. Reginaldo Gotardo - gotardo.uniseb@gmail.com
NOES MATEMTICAS E
TERMINOLOGIA
2
Roteiro
Noes Matemticas e Terminologia
Conjuntos
Sequncias e Tuplas
Operaes sobre Conjuntos
Propriedades das Operaes
Funes
Relaes
Grafos
3
Conjuntos
Conjunto
Coleo de zero ou mais objetos distintos, denominados
elementos do conjunto
Elemento a unidade bsica
4
Conjuntos
Relacionamento entre conjuntos
Se um elemento a pertence a um conjunto A denota-se por
a e A
Caso contrrio, a e A
5
Conjuntos
Relacionamento entre conjuntos
Se todos os elementos de um conjunto A tambm so
elementos de um conjunto B, ento afirma-se
Que A est contido em B
Ou que A subconjunto de B e denota-se por A _ B
Ou ainda B contm A (B A)
6
Conjuntos
Relacionamento entre conjuntos
Adicionalmente, se existe b e B tal que b e A, ento
afirma-se
Que A est contido propriamente em B
Ou que A subconjunto prprio de B e denota-se por A c B
Ou ainda B contm propriamente A e B A
Se A for um subconjunto de B e no for igual a B
7
Conjuntos
Relacionamento entre conjuntos
Os conjuntos A e B so iguais se, e somente se, possuem os
mesmos elementos
Ou seja, A = B se, e somente se, A _ B e B _ A
8
Conjuntos
Conjuntos podem possuir
Nmero finito de elementos
Nmero infinito de elementos
Denotados por extenso
Exemplo: {a, b, c, }
9
Conjuntos
Podem ser tambm denotados por compreenso
{ a | a e A e p(a) }
= o conjunto de todos os elementos a pertencentes ao
conjunto A tal que p(a) verdadeiro
Exemplo
{ n | n = m
2
para m e N }
O conjunto de quadrados perfeitos
10
Conjuntos
Conjunto com zero elementos denominado conjunto
vazio
{ } ou C
11
Conjuntos
Exemplos: conjuntos e elementos
a e { b, a } e c e { b, a }
{a, b } = { b, a }
{ a, b } _ { b, a }
{ a, b } c { a, b, c }
12
Conjuntos
Infinitos
N conjunto dos nmeros Naturais
Z conjunto dos nmeros Inteiros
Q conjunto dos nmeros Racionais
I conjunto dos nmeros Irracionais
R conjunto dos nmeros Reais
13
Conjuntos
Exemplo
{ 1, 2, 3 } = { x e Z | x > 0 e x < 4 }
O conjunto dos nmeros pares pode ser denotado por
compreenso como segue
{ y | y = 2x e x e Z }
14
Conjuntos: definies
Sejam A e B conjuntos, ento
Unio
A B = { x | x e A ou x e B }
Interseco
A B = { x | x e A e x e B }
15
Conjuntos
Diagramas de Venn
unio A e B interseco A e B
16
A B A B
Conjuntos: definies
Diferena
A - B = { x | x e A e x e B }
Complemento
Definida em relao a um conjunto fixo U (universo)
A' = { x | x e U e x e A }
17
Conjuntos: definies
Produto Cartesiano
A x B = { (a, b) | a e A e b e B }
Notao usual - A x A = A
2
18
Conjuntos: definies
Produto cartesiano, forma (a,b) denominado par
ordenado
Ordem importante!!
Par ordenado pode ser generalizado para k-tuplas
ordenadas
19
Sequncias e Tuplas
Sequncia uma lista de objetos em alguma ordem
(1, 5, 2, 6) (1, 2, 5, 6)
Repeties so permitidas
(1, 2, 2) (1, 2)
20
Sequncias e Tuplas
Sequncias finitas ou infinitas
Finitas: tuplas (2 par)
(1, 2, 3) 3-tupla
Conjuntos e sequncias podem ser elementos de
conjuntos e sequncias
21
Sequncias e Tuplas
Power set
Conjunto potncia ou conjunto das partes
O conjunto de todos os subconjuntos de um conjunto dado
Denotado por P(A) ou 2
A
Exemplo
A = {0, 1}
P(A) = {C, {0}, {1}, {0,1}}
Conjunto de todos os pares 0 e 1
{(0,0), (0,1), (1,0), (1,1)}
22
Operaes sobre
Conjuntos
Suponha o universo N e sejam
A = { 0, 1, 2 } e B = { 2, 3 }
Ento
A B = { 0, 1, 2, 3 }
A B = { 2 }
A' = { x e N | x > 2 }
23
Operaes sobre
Conjuntos
Suponha o universo N e sejam
A = { 0, 1, 2 } e B = { 2, 3 }
Ento
P(B) = { C, { 2 }, { 3 }, { 2, 3 } }
A x B = { (0, 2), (0, 3), (1, 2), (1, 3), (2, 2), (2, 3) }
24
Exerccios
Dados os conjuntos
A = {1, 2} A = {1, 5, 6, 8, 9}
B = {x, y, z} B = {3, 2, 5, 7, 3}
* 1. Mostre... * 2.Mostre usando Venn
- A x B - A B
- A x B x A - A B
- B
3
25
Exerccios (Resposta)
1.a. A x B = {(1,x), (1,y), (1,z), (2,x), (2,y), (2,z)
1.b. AxBxA =
{(1,x,1),(1,x,2),(1,y,1),(1,y,2),(1,z,1),(1,z,2),(2,x,1),(2,x,2),(2,y,1),
(2,y,2),(2,z,1),(2,z,2)}
1.c. BxBxB =
{(x,x,x),(x,x,y),(x,x,z),(x,y,x),(x,y,y),(x,y,z),(x,z,x),(x,z,y),(x,z,z),(y,x
,x),(y,x,y),(y,x,z),(y,y,x),(y,y,z),(y,z,x),(y,z,y),(y,z,z),(z,x,x)...
Continuar
26
Propriedades das
Operaes
Suponha o universo U e os conjuntos A, B e C
Idempotncia
A A = A
A A = A
Comutatividade
A B = B A
A B = B A
27
Propriedades das
Operaes
Associatividade
A (B C) = (A B) C
A (B C) = (A B) C
Distributividade
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
Duplo Complemento
(A) = A
28
Propriedades das
Operaes
Universo e Vazio
A A' = U
A A' = C
Morgan
(A B)' = A' B'
(A B)' = A' B'
29
Funes
Funo um objeto que define um relacionamento de
entrada-sada
Recebe um entrada (a) e produz uma sada (b)
f(a) = b
Mapeamento de a em b
30
Funes
Domnio da funo
Entradas possveis para essa funo
Contradomnio da funo
Sadas da funo
Notao
f, funo com domnio D e contradomnio C
f : D C
31
Funes - Exemplo
f: {0,1,2,3,4} {0,1,2,3,4} = f: Z
5
Z
5
32
n f(n)
0 1
1 2
2 3
3 4
4 0
soma 1 entrada e
produz resultado
mdulo 5
Funes
Exerccio
Defina o domnio e o contradomnio da funo g
g: Z
4
x Z
4
Z
4
33
g 0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2
g(i,j)
d: i = linha
j = coluna
cd: adio mod 4
Funes
Notao prefixa e infixa
add(a, b)
a + b
34
Funes
Funo Parcial
um relao f A x B tal que
Se (a, b) f e (a, c) f
Ento b = c
uma relao na qual
Cada elemento do domnio est relacionado com, no mximo
um elemento do contradomnio
Uma funo parcial f A x B normalmente denotada por
f: A B
35
Funes
Funo Total
uma funo parcial f: A B na qual
Para todo a A existe b B tal que f(a) = b
Ento b = c
uma funo parcial definida para todos os elementos do
domnio
36
Funes e Relaes
Relao
Propriedade/Predicado cujo domnio um conjunto de k-
tuplas A x ... x A
Chamada relao k-nria em A
O contradomnio {VERDADEIRO, FALSO}
Exemplo
par uma propriedade considera como
VERDADEIRA se sua entrada for um nmero par
FALSA se sua entrada for um nmero mpar
par(4) = VERDADEIRO e par(5) = FALSO
37
Funes e Relaes
Caso tpico
Relao 2-ria (binria)
Exemplo: menor que, igual a
38
Relaes
Uma Relao (Binria) um subconjunto de um produto
cartesiano
Suponha para A e B conjuntos
Relao R _ A x B
A e B, domnio e contra-domnio de R
39
Relaes
Um elemento (a, b) e R usualmente denotado por
a R b
Quer dizer, a R b = TRUE
R _ A x A = Relao em A = (A, R)
ou R(a
1
, a
2
, ..., a
k
) = TRUE
40
Relaes - Exemplo
Jogo do papel, pedra e tesoura
41
Relaes - Exemplo
Jogo do papel, pedra e tesoura
P: D {T, F} pode ser escrito como
(D, S), onde S = {a e D | P(a) = TRUE}
Apenas S, se o domnio for bvio no contexto
Como fica a relao ganha???
42
ganha Tesoura Papel Pedra
Tesoura F T F
Papel F F T
Pedra T F F
Relaes - Exemplo 43
{(tesoura,papel), (papel,pedra), (pedra,tesoura)}
Grafos
Conjunto de ns interligados por arestas
Arestas so no-direcionadas
(1,2) == (2,1)
Grafo definido pela tupla (V,E)
44
1
3 4
2
Grafos
Grau do n nmero de arestas
que saem do n
V = {1, 2, 3, 4}
E = {(1,2), (1,3), (1,4), (2,3), (2,4), (3,4)}
45
1
3 4
2
Grafo Direcionado
Grafo com arestas direcionadas
Grau
De sada
De entrada
Qual o grafo?
({1, 2, 3, 4, 5, 6}, {(1,2), (1,5), (2,1), (2,4), (5,4), (5,6), (6,1),
(6,3)}
46
1 2
3
4 5
6
Grafos e Relaes
Grafos podem ser usados para representas relaes
binrias
Relao binria R
Domnio D D
G = (D, E), onde E = { (x,y) | xRy }
Como ficaria o grafo do jogo???
47
Ganha Tesoura Papel Pedra
Tesoura F T F
Papel F F T
Pedra T F F
Grafos e Relaes 48
tesoura
papel
pedra
GANHA
GANHA
GANHA
Exerccios
1. Considere A={x,y,z} e B={x,y}
A um subconjunto de B?
B um subconjunto de A?
Qual o resultado de A B?
Qual o resultado de A B?
Qual o resultado de A B?
Qual o conjunto potncia de B?
49
Exerccios
2. Se A tem a elementos, e B tem b elementos, quantos
elementos h emA B?
3. Se C tem c elementos, quantos elementos h no
conjunto potncia de C? Mostre porque.
50
Exerccios
4. Escreva a descrio formal do grafo
51
1
2
3
4
5
6
Material Sugerido
DIVRIO T. A.; MENEZES P. F. B. Teoria da Computao:
Mquinas Universais e Computabilidade. 2. ed. Porto
Alegre: Instituto de Informtica da UFRGS, Sagra
Luzzatto, 2000.
Captulo 1: Introduo e Conceitos Bsicos
MENEZES, P. F. B. Linguagens formais e autmatos. 4. ed.
Porto Alegre: Sagra Luzzatto, 2000.
Captulo 1: Introduo e Conceitos Bsicos
52