UNIVERSIDADE FEDERAL RURAL DO SEMI-RIDO

CURSO: CINCIA DA COMPUTAO

TEORIA DA COMPUTAO
Aula 02 Introduo
Teoria da Computao

Prof. Danielle Casillo

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.

Teoria da Computao - Aula 02

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.

Exemplo de conjuntos que no so alfabetos:

Conjunto dos nmeros naturais;
{a, b, aa, ab, ba, bb, aaa, ...}.
Teoria da Computao - Aula 02

CONCEITOS BSICOS

Cadeia de Smbolos, Palavra.

uma sequncia de zero ou mais smbolos (do
conjunto) justapostos.
Uma Palavra uma Cadeia de Smbolos
Finita.

Exemplo:
abcb uma palavra sobre o alfabeto {a, b, c};

Teoria da Computao - Aula 02

CONCEITOS BSICOS

Uma cadeia sem smbolos uma palavra

vlida.
denota a cadeia vazia ou palavra vazia.
O smbolo representa um alfabeto, ento:
 * denota o conjunto de todas as palavras possveis
sobre ;
 + denota * - {}

Exemplo:
Se = {a, b}, ento:
 + = {a, b, aa, ab, ba, bb, aaa,...}
 * = { , a, b, aa, ab, ba, bb, aaa,...}

Teoria da Computao - Aula 02

CONCEITOS BSICOS

Comprimento ou tamanho de uma palavra

w, representado por w
, o nmero de
smbolos que compem a palavra.

Exemplo:
abcb
=4
= 0;

Teoria da Computao - Aula 02

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.

Qualquer prefixo ou sufixo de uma palavra uma

subpalavra.
Teoria da Computao - Aula 02

CONCEITOS BSICOS
Linguagem formal um conjunto de palavras
sobre um alfabeto.

Exemplo: Suponha o alfabeto = {a, b}.
Ento:

O conjunto vazio e o conjunto formado pela

palavra
vazia
so
linguagens
sobre
.
Obviamente, { }.
O conjunto de palndromos (palavras que tem a
mesma leitura da esquerda para a direita e viceversa) sobre um exemplo de linguagem
infinita.
 , a, b, aa, bb, aaa, aba, bab, bbb, aaaa,...

Teoria da Computao - Aula 02

CONCEITOS BSICOS

Concatenao de palavras associa a cada

par de palavras uma palavra formada pela
justaposio da primeira com a segunda.
A operao de concatenao satisfaz s seguintes
propriedades (suponha v, w, t palavras):
 Associatividade: v(wt) = (vw)t
 Elemento neutro esquerda e direita: w = w =
w

Teoria da Computao - Aula 02

CONCEITOS BSICOS

Exemplo de concatenao de palavras:

Suponha o alfabeto = {a, b}.
Ento, para as palavras v = baaaa e w = bb,
tem-se que:
 vw = baaaabb
 v = v = baaaa

Teoria da Computao - Aula 02

10

CONCEITOS BSICOS

A concatenao sucessiva de uma palavra

representada na forma de um expoente.
wn em que n o nmero de concatenaes
sucessivas

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

Exemplo de concatenao sucessiva:

x = 11001 e y = 0000000011;
A concatenao xy 110010000000011.
xk denota a concatenao de x consigo mesma
k vezes:
Exemplo: se x = 110, ento x3 = 110110110.

Teoria da Computao - Aula 02

12

CONCEITOS BSICOS

Sequncias e uplas
Uma sequncia de objetos uma lista desses
objetos na mesma ordem.
 Ex: (7, 21, 57)

Em um conjunto a ordem no importa, mas em

uma sequncia sim.
 Portanto, (7, 21, 57) no o mesmo que (57, 7, 21).

Como os conjuntos, sequncias podem ser finitas

ou infinitas. As sequncias finitas so chamadas
de uplas.
 Ex: (7, 21, 57) uma 3-upla (tripla).
 Uma 2-upla (dupla) tambm chamada de par.

Teoria da Computao - Aula 02

13

CONCEITOS BSICOS

Conjuntos:
Um conjunto
distintos

uma

coleo

de

elementos

Um conjunto descrito enumerando um a um

seus elementos em alguma ordem adequada ou
descrevendo uma propriedade que s os
elementos do conjunto satisfazem
 A = {1,2}
 B = {x / x = 1 ou x = 2}
Teoria da Computao - Aula 02

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:

Teoria da Computao - Aula 02

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)}

Teoria da Computao - Aula 02

16

CONCEITOS BSICOS

Funes e Relaes
Funo: um objeto que estabelece
relacionamento de entrada-sada.

um

 Ex: f ( a ) = b f uma funo cujo valor de sada b

quando o valor de entrada a.

O conjunto de entradas possveis para uma

funo chamado seu domnio e as sadas
contradomnio.
 Ex: f : D C

Teoria da Computao - Aula 02

17

EXERCCIOS
1.

Marque os conjuntos que so alfabetos:

a)
b)
c)
d)
e)
f)
g)
h)

Conjunto dos nmeros naturais

Conjuntos dos nmeros primos
Conjunto das letras do alfabeto brasileiro
Conjunto dos algarismos romanos
Conjunto {a, b, c, d}
Conjunto das partes de {a, b, c}
Conjunto das vogais
Conjunto das letras gregas

[ ]
[ ]
[ ]
[ ]
[ ]
[ ]
[ ]
[ ]

Teoria da Computao - Aula 02

18

EXERCCIOS

2.

D os possveis prefixos e sufixos de cada

uma das seguintes palavras:
a)
b)
c)
d)
e)

teoria
aaa
AbccBa
UFERSA
abcabc
Teoria da Computao - Aula 02

19