Teoria da Computao

Aula 01 Noes de Matemtica

Prof. Camila de Arajo Sena
Conjuntos
um grupo de objetos distintos.
Os objetos de um conjunto so chamados de elementos;
Utilizaremos letras maisculas para nomear os conjuntos;
Ex.:
A = {1, 3, 5, 7, 9}
Relao de Pertinncia
Entre elemento e conjunto, usada para dizer se um elemento
est ou no no conjunto.
3 e A
10 e A
DI-UERN
Conjuntos
Vazio
o conjunto que no possui elementos
Representado por { } ou C
Universo
o conjunto que possui todos os elementos em um
determinado contexto
Representado por U
Conjunto versus Seqncia?
DI-UERN
Relaes entre conjuntos
DI-UERN
Relao de Incluso
Dado o conjunto C = {1, 4, 6, 8, 9}, podemos afirmar que:
{1, 6, 8} c C (est contido);
{4, 5} . C (no est contido);
Neste caso, dizemos que {1, 6, 8} um subconjunto de C;
A c B (x)(xeA xeB)

Relaes entre conjuntos
DI-UERN
Relao de Igualdade
Dado o conjunto A = {6, 8, 9} e B = {9, 6, 8}:
A c B, e
B c A
Neste caso, dizemos que A igual a B;
A = B (x)((xeA xeB) ^ (xeB xeA))


Operaes entre conjuntos
DI-UERN
Unio
Chamamos unio ou reunio de dois conjuntos A e B,
denotada por A B, ao conjunto de todos os elementos que
pertencem a A ou a B.
A B = {x | x A v x B}
Interseo
Chamamos interseo de dois conjuntos A e B, denotada por
A B, ao conjunto de todos os elementos que pertencem
simultaneamente a A e a B.
A B = {x | x A x B}



Operaes entre conjuntos
DI-UERN
Unio
Chamamos unio ou reunio de dois conjuntos A e B,
denotada por A B, ao conjunto de todos os elementos que
pertencem a A ou a B.
A B = {x | x A v x B}
Interseo
Chamamos interseo de dois conjuntos A e B, denotada por
A B, ao conjunto de todos os elementos que pertencem
simultaneamente a A e a B.
A B = {x | x A x B}



Operaes entre conjuntos
DI-UERN
Diferena
Chamamos de diferena entre os conjuntos A e B, denotada
por A - B, ao conjunto de todos os elementos que pertencem
a A e no pertecem a B.
A - B = {x | x A x e B}
Complemento
Chamamos de Complemento de um conjunto em relao ao
Conjunto Universo, denotada por A
c
, ao conjunto de todos os
elementos que pertencem ao universo e no pertencem ao
conjunto A.
A
c
= {x | x U x e A}



Operaes entre conjuntos
DI-UERN
Propriedades
S C = S - C = S
S C = C
C
c
= U
U
c
= C
Conjunto Potncia
o conjunto de todos os subconjuntos de um conjunto,
denotado por 2
A
ou P(A)
Se A = {a, b, c} seu conjunto potncia :
2
A
= {C ,{a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}


Operaes entre conjuntos
DI-UERN
Produto Cartesiano
Sejam dois conjuntos A e B. O produto cartesiano de A por B,
denotado por A x B o conjunto de todos os pares ordenados
(a, b), onde a e A e b e B.
A x B = {(a, b)| a e A ^ b e B}
Funes
DI-UERN
Dados conjuntos A e B, no vazios, dizemos que
] uma funo de A em B se, e somente se, para
qualquer x pertencente ao conjunto A existe, em
correspondncia, um nico y pertence a B tal que o par
ordenado (x,y) pertena a f.
] funo de A em B <=> x e A, -y e B | (x, y) e ]
Funes
DI-UERN
Imagem (])
Domnio (])
Contra-Domnio (])



Funes
DI-UERN
Injetora: y e B existe um nico x e A, tal que y = f(x).



Sobrejetora: Im = CD



Bijetora
Parcial
ou Total?
Grafos e rvores
DI-UERN
Um grafo uma estrutura composta por um conjunto de
vrtices V e um conjunto de arestas E.
Cada aresta um par de vrtices de V. e
i
= (v
j
, v
k
)
Se as arestas so orientadas dizemos que o grafo
dirigido.


v1 v2 v3
Grafos e rvores
DI-UERN
Uma rvore um tipo de grafo que possui vrtices
especiais chamados de raiz e folhas, e que no possui
ciclos.


Raiz
Folha
Linguagem
DI-UERN
Seja E um conjunto finito no vazio de smbolos chamado
alfabeto.
Dos smbolos individuais construiremos cadeias (strings), que
so seqncias finitas de smbolos do alfabeto
Se E = {a, b}, ento aabb, abba so cadeias sobre E.
Utilizamos letras minsculas u, v, w, ... para nomear as cadeias.
Contatenao: se w = ab e u= bb, w.u = abbb e u.w = bbab;
Reversa: se w = abbb, ento w
R
= bbba;
Comprimento: se w = aaab, o |w| = 4;
Cadeia vazia: chamada de e | | = 0;
Linguagem
DI-UERN
Seja E um alfabeto, usamos E* para denotar o conjunto
das cadeias obtidas com a concatenao de zero ou mais
smbolos de E.
Exemplos
E
1
= {a}, ento E
1
* = {, a, aa, aaa, aaaa, aaaaa, ....}
E
2
= {a, b}, ento E
2
* = {, a, b, aa, ab, ba, bb, aaa, aab, aba, abb, ...}
Uma linguagem sobre E um subconjunto de E*
Portanto o conjunto {a, aa, ab, aaa, aab, aba, abb, ...} uma
linguagem sobre E
2

Gramtica
DI-UERN
Uma gramtica G definida como uma quadrupla G = (V,
T, S, P), onde?
V um conjunto finito de objetos chamados variveis.
T um conjunto finito de objetos chamados smbolos
terminais.
S eV um smbolo especial chamado de varivel de incio
P um conjunto finito de regras de produo;
Assumiremos que todas as produes so da forma x y, onde x
um elemento de (V T)+ e y est em (V T)*
Dada uma cadeia w = uxv, podemos aplicar a regra de produo e
trocar x por y: w= uyv
Gramtica
DI-UERN
Exemplo
Considere a gramtica G = ({S}, {a, b}, S, P), onde P dado por
S aSb
S
A partir de G possvel gerar as cadeias , ab, aabb, aaabb, ...
Uma gramtica define completamente uma Linguagem,
dessa forma:
L(G) = {a
n
b
n
/n > 0}
Autmatos
DI-UERN
Um autmato um modelo abstrato de computador
digital.

Unidade de Controle
Estado
Interno
Sada
Fita de Entrada
rea de
armazenamento