Notas:
Notas da turma.
Provas:
Prova 1VA. Data a definir.
Prova 2VA. Data a definir.
Prova 3VA. Data a definir.
Prova Final. Data a definir.
Primeira VA:
Autômatos: Finitos, a Pilha e Máquina de Turing (linearmente limitada).
Segunda VA:
Linguagens Formais: Regular, Livre e Sensível ao Contexto, Estrutura de Frases. Hierarquia de Chomsky.
Aplicações em compiladores.
Terceira VA:
Computabilidade: modelos computacionais (funções recursivas, linguagens
de programação), funções não computáveis, problema da parada,
decidibilidade.
VA Final:
Matéria da Primeira, Segunda e Terceira VA.
- Lewis, R. H. e Papadimitriou, C. H. Elementos de Teoria da Computação. 2a. ed. Bookman, 2000.
- Diverio, Tiarajú Asmuz e Menezes, Paulo Blauth. Teoria da Computação: Máquinas Universais e Computabilidade. Editora Sagra Luzzatto, 1999.
- Acióly, Benedito. e Bedregal, Benjamín R.C. e Lyra, Aarão. Introdução à Teoria das Linguagens Formais, dos Autômatos e da Computabilidade. Edições UnP, 2002.
- Hopcroft, John E. e Motwani, Rajeev. e Ullman, Jeffrey D. Introdução à Teoria de Autômatos, Linguagens e Computação. Editora Campus, 2002.
- Sudkamp, Thomas A. Languages and Machines: An Introduction to the Theory of Computer Science. Addison Wesley, 1997.
- Menezes, Paulo Blauth. Linguagens Formais e Autômatos. Editora Sagra Luzzatto, 2000.