Introduo Teoria da Computao

Wilson Rubens Galindo

Motivao
O que um algoritmo? Definiremos formalmente O que computabilidade? Qualquer problema pode ser resolvido por um computador? Resoluo de Problemas Definio de uma Linguagem de Programao O que tempo computacional? Ser que o computador executa qualquer operao em tempo hbil?

Contedo
Reviso de provas (matemtica discreta) Autmatos finitos determinsticos (AFD) Autmatos finitos no-determinsticos (AFND) Expresses/ linguagens regulares Propriedades das linguagens regulares Gramtica/linguagem livre de contexto Autmatos a Pilha

Contedo
Propriedades de linguagens livres de contexto Mquinas de Turing Introduo Indecibilidade Problemas Intratveis Outras classes de problemas

Bibliografia
Introduo Teoria de Autmatos, Linguagens e Computao. John E. Hopcroft, Jeffrey D. Ulman e Rajeev Motwani. Trad. da segunda edio, Editora Campus. (Livro Texto) JFLAP (Software de ajuda) Acily, Benedito M.; Bedregal, Benjamn R. C.; Lyra, Aaro. Introduo Teoria das Linguagens Formais, dos Autmatos e da Computabilidade. Edies UnP, 2002.

Bibliografia
LEWIS, H. R.; PAPADIMITRIOU, C. H. Elementos de Teoria da Computao 2a. Edio. Bookman. 2000. 361p. Menezes, P.F.B. LINGUAGENS FORMAIS E AUTMATOS. Srie Livros Didticos. Instituto de informtica da UFRGS. ( 3 Edio). ISBN 85-241-0554-2

Bibliografia
MANNA, Zohar. Mathematical Theory of Computation. New York: McGraw-Hill, 1974. SERNADAS, C. Introduo Teoria da Computao. Lisboa: Editorial Presena, 1993. CD de Teoria da Computao

Organizao das aulas

50% Tericas 50% Prticas/ Exerccios Exerccios do livro texto
* -> Com respostas (cuidado)

! -> mais complexas !!-> Precisa de conhecimento extra

Avaliaes
1 VA 17/07/2007 2 VA 20/07/2007 3 VA 23/07/2007 Final 24/07/2007

Informaes Importantes
Site da disciplina
www.wilsongalindo.rg3.net

E-mail
galindo2105@gmail.com

Plano de aula (datas)

No site a partir de 04/07/07

Aula de hoje
Instalao do JFLAP