ITC-2019-1

Bem-vindo ao site da disciplina de Introdução à Teoria da Computação 2019-1

Lista de emails

Entre e participe das discussões da disciplina:

• https://groups.google.com/d/forum/itc-bsi

Ementa e Plano de Ensino

No site do BSI

Bibliografia

Elementos de Teoria da Computação. Harry R. Lewis, Christos H. Papdimitriou. 2. ed. 2004. (LIVRO-TEXTO)

Languages and Machines. Thomas Sudkamp, 3a. ed. Addison-Wesley, 2005. (EXERCÍCIOS)

Menezes, Paulo Blauth. Linguagens Formais e Autômatos. Editora Sagra Luzzatto, 2000. (ALGORITMO DE MINIMIZAÇÃO DE ESTADOS)

Introdução aos fundamentos da Computação - Linguagens e Máquinas. Newton José Vieira. Thomsom, 2006.

Diverio, Tiarajú Asmuz e Menezes, Paulo Blauth. Teoria da Computação: Máquinas Universais e Computabilidade. Editora Sagra Luzzatto, 1999.

Introdução à Teoria de Autômatos, Linguagens e Computação. Hopcroft, J. E. e Ullman, J. D. e Motwani, R. Tradução. Editora Campus, 2003. Exercícios * resolvidos

Softwares

JFLAP JAVA Formal Language and Automata Package - ferramenta visual usada para criar e simular diversos tipos de autômatos, e converter diferentes representações de linguagens.

Material alternativo

• Slides do Dr. Rakesh Verma da University of Houston
• The University of British Columbia
• Slides do Prof. Lucas Rangel da PUC-Rio

Listas de Exercícios

• Lista de exercícios sobre autômatos finitos
• Lista de exercícios sobre GLCs e APs
• Lista de exercícios sobre Máquinas de Turing e Indecidibilidade

Material

Slides de Automatos

Aulas