Teoria da Computao

Teoria da Computao

02/2013

O que ser estudado em Teoria da Computao?

Enfase Terica X Enfase Prtica

Programas, Mquinas e Computaes Mquinas Universais:

Mquina Norma Mquina de Turing (MT) Mquinas de Post Mquinas com Pilhas Autmatos com Duas Pilhas

Computabilidade Funes Recursivas

Bibliografia Bsica

DIVERIO, T. A. ; MENEZES, P. B. Teoria da Computao: Mquinas Universais e Computabilidade. 2a Edio. Srie Livros Didticos, Editora Bookman, 2008. LEWIS, Harry R. & PAPADIMITRION, Christos H. Elementos de Teoria da Computao. 2a Edio. Porto Alegre, Bookman, 2000. SIPSER, M. Introduo a Teoria da Computao. So Paulo: Editora Thomson, 2007.

Avaliao

Prova I: 2,5 Prova II: 2,5 Prova III: 2,5 Exerccios e trabalhos: 2,5

Introduo

A Cincia da Computao possui duas nfases:

Fundamentos e Modelos computacionais - terica Projeto de sistemas computacionais - prtica

A nfase terica independe de instrumentos ou mquinas (computadores), trabalha com modelos de computacionais Teoria da Computao.

Introduo

Tais modelos computacionais especificam:

O que uma soluo computvel? Quais os limites do que pode ser computado? Existem problemas sem soluo computacional?

Conceitos Bsicos

Alfabeto
Conceitos Bsicos

um conjunto finito de smbolos ou caracteres. Portanto:

Um conjunto infinito no um alfabeto O conjunto vazio um alfabeto {a, b, c, z} {0, 1}

Exemplos:

Cadeia de Smbolos ou Palavra

Conceitos Bsicos

Seja um alfabeto, ento:

Uma palavra sobre uma sequncia de zero ou mais smbolos (de ) justapostos.

Uma palavra sem smbolos uma palavra vlida: = cadeia ou palavra vazia

Uma palavra sobre uma cadeia finita de smbolos de .

Cadeia de Smbolos ou Palavra

Conceitos Bsicos

Exemplo:

watermellon, sobre = {a, b, c, z} 0111011, sobre = {0, 1}

O conjunto de todas as palavras sobre denotado por *.

Comprimento
Conceitos Bsicos

O comprimento de uma palavra w, representado por |w|, o nmero de smbolos que compem uma palavra. Exemplo:

|abcb| = 4 || = 0

Concatenao
Conceitos Bsicos

a combinao de duas palavras, sobre o mesmo alfabeto, para formar uma terceira palavra. x y, ou simplesmente xy, corresponde palavra x seguida pela palavra y. Exemplos:

01 001 = 01001 beach boy = beachboy w = = w, elemento neutro (wx)y = w(xy), propriedade associativa

Concatenao Sucessiva de Palavras

Conceitos Bsicos

A concatenao sucessiva de palavras pode ser n representada na forma de expoente: w definida indutivamente :

w0 = wn = wwn-1, para n > 0 w3 = www a5 = aaaaa an = aaa ... a (o smbolo a repetido n vezes)

Exemplos:

Subpalavra, Prefixo e Sufixo

Conceitos Bsicos

Uma palavra v uma subpalavra de uma palavra w se, e somente se, houver cadeias x e y, tais que w = xvy. Se w = vx para algum x, ento v um prefixo de w. Se w = xv para algum x, ento v um sufixo de w.

Subpalavra, Prefixo e Sufixo

Conceitos Bsicos

Exemplos:

abcb uma palavra sobre {a, b, c} Em relao palavra abcb, vale que:

, a, ab, abc, abcb so todos prefixos , b, cb, bcb, abcb so todos sufixos

Qualquer prefixo ou sufixo de uma palavra uma subpalavra Para a palavra aa, o conjunto de todos os prefixos, os sufixos e todas as subpalavras o mesmo: {, a, aa}

Conjunto de Todas as Palavras

Conceitos Bsicos

O conjunto de todas as palavras sobre denotado por *. Exemplo: Se = {a, b}, ento: = {a, b, aa, ab, ba, bb, aaa } * = {, a, b, aa, ab, ba, bb, aaa ...}
+

Linguagem
Conceitos Bsicos

o conjunto de palavras sobre um alfabeto, ou seja, um subconjunto de *. , *, e {} so linguagens sobre o alfabeto. Exemplos:
Linguagens finitas:

= {a, b, c z} e L = {aba, czr, d, f}

Linguagem
Conceitos Bsicos
Linguagens infinitas:

= {0, 1} e L = {w *: w tem nmeros iguais de 0's e 1's} = {0, 1} e L = {w *: w tem nmero par de 0's} = {0, 1} e L = {w *: w inicia com 0}