CI059-A - Introdução a Teoria da Computação
Segundo Semestre de 2019
Profa. Carmem Hara

Livro Texto: Introducao a Teoria de Automatos, Linguagens e Computacao
John E. Hopcroft, Jeffrey D. Ullman, Rajeev Motwani
Segunda Edicao, Editora Campus, 2003
Languages and Machines: An Introduction to the Theory of Computer Science
Thomas Sudkamp
Addison-Wesley, Second Edition, 1998
Elementos de Teoria da Computacao
Harry F. Lewis, C. H. Papadimitriou
2a Edicao, Editora Bookman
Introduction to Automata Theory, Languages and Computation
John E. Hopcroft, Jeffrey D. Ullman
Addison-Wesley, 1979
Theory of Computation
Wood, D., Ed. John Wiley & Sons, 1987
Introducao aos Fundamentos da Computacao
Newton Jose Vieira
Ed. Pioneira Thomson Learning, 2006

Aula 1: organizacao, as areas da teoria da computacao
Aula 2: linguagens
Aula 3: conjuntos regulares e expressoes regulares
Aula 4: automatos finitos deterministicos
Aula 5: automatos finitos nao deterministicos
Aula 6: equivalencia automatos finitos - expressoes regulares
Aula 7: propriedades das linguagens regulares
Aula 8: gramaticas livres de contexto
Aula 9: analise sintatica
Aula 10: formas normais
Aula 11 : automato com pilha
Aula 12 : automato com pilha (continuacao)
Aula 13 : propriedades de linguagens livres de contexto - lema de bombeamento
Aula 14 : maquinas de Turing [Exemplo de MT de 2 trilhas]
Aula 15 : maquinas de Turing (continuacao) [Exemplo de MT para geração de sequências]
Aula 16 : Indecidibilidade