Академический Документы
Профессиональный Документы
Культура Документы
TEORIA DA COMPUTAO
Aula 02 Introduo
Teoria da Computao
CONCEITOS BSICOS
Linguagem: uma forma precisa de
expressar
problemas,
permitindo
um
desenvolvimento formal adequado ao estudo
da computabilidade.
As definies que seguem so construdas
usando como base a noo de smbolo ou
caractere, que uma entidade abstrata
bsica, no sendo definida formalmente. Letras
e
dgitos
so
exemplos
de
smbolos
frequentemente usados.
CONCEITOS BSICOS
Definio: Alfabeto
um conjunto finito de smbolos ou caracteres.
Um conjunto infinito no um alfabeto.
O conjunto vazio um alfabeto.
Exemplo de alfabetos:
{a, b, c};
conjunto vazio.
CONCEITOS BSICOS
Exemplo:
abcb uma palavra sobre o alfabeto {a, b, c};
CONCEITOS BSICOS
Exemplo:
Se = {a, b}, ento:
+ = {a, b, aa, ab, ba, bb, aaa,...}
* = { , a, b, aa, ab, ba, bb, aaa,...}
CONCEITOS BSICOS
Exemplo:
abcb
=4
= 0;
CONCEITOS BSICOS
Prefixo e Sufixo
Um Prefixo (respectivamente, Sufixo) de uma
palavra
qualquer
sequncia
inicial
(respectivamente, final) de smbolos da palavra.
Uma Subpalavra de uma palavra qualquer
sequncia de smbolos contgua da palavra.
Exemplo:
Relativamente palavra abcb, tem-se que:
, a, ab, abc, abcb so os prefixos;
, b, cb, bcb, abcb so os respectivos sufixos.
CONCEITOS BSICOS
Linguagem formal um conjunto de palavras
sobre um alfabeto.
Exemplo: Suponha o alfabeto = {a, b}.
Ento:
CONCEITOS BSICOS
CONCEITOS BSICOS
10
CONCEITOS BSICOS
Exemplo:
Sejam w uma palavra e a um smbolo, ento:
w3 = www
w1 = w
a5 = aaaaa
an = aaa...a (o smbolo a repetido n vezes)
Teoria da Computao - Aula 02
11
CONCEITOS BSICOS
12
CONCEITOS BSICOS
Sequncias e uplas
Uma sequncia de objetos uma lista desses
objetos na mesma ordem.
Ex: (7, 21, 57)
13
CONCEITOS BSICOS
Conjuntos:
Um conjunto
distintos
uma
coleo
de
elementos
14
CONCEITOS BSICOS
Conjuntos:
Conjuntos so denotados por letras maisculas
com ou sem ndices (A, B, C1,...)
Se a um elemento de A a A
Se vrios elementos pertencem a A a,b,c A
Se temos o produto cartesiano de um conjunto
com si prprio, usamos a abreviao.
Ex:
15
CONCEITOS BSICOS
Conjuntos:
Se A e B so dois conjuntos, o produto cartesiano
ou produto cruzado de A e B, descrito como AxB,
o conjunto de todos os pares nos quais o
primeiro elemento um membro de A e o segundo
um membro de B.
Ex: Se A = {1, 2} e B = {x, y, z}
A x B = {(1, x), (1, y), (1, z), (2, x), (2, y), (2, z)}
16
CONCEITOS BSICOS
Funes e Relaes
Funo: um objeto que estabelece
relacionamento de entrada-sada.
um
17
EXERCCIOS
1.
[ ]
[ ]
[ ]
[ ]
[ ]
[ ]
[ ]
[ ]
18
EXERCCIOS
2.
teoria
aaa
AbccBa
UFERSA
abcabc
Teoria da Computao - Aula 02
19