Professional Documents
Culture Documents
Teoria da Computao
02/2013
Mquina Norma Mquina de Turing (MT) Mquinas de Post Mquinas com Pilhas Autmatos com Duas Pilhas
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 nfase terica independe de instrumentos ou mquinas (computadores), trabalha com modelos de computacionais Teoria da Computao.
Introduo
O que uma soluo computvel? Quais os limites do que pode ser computado? Existem problemas sem soluo computacional?
Conceitos Bsicos
Alfabeto
Conceitos Bsicos
Exemplos:
Uma palavra sobre uma sequncia de zero ou mais smbolos (de ) justapostos.
Uma palavra sem smbolos uma palavra vlida: = cadeia ou palavra vazia
Exemplo:
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
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:
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.
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}
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:
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}