Ybadoo - Soluções em Software Livre
Tutoriais
Teoria da Computação

Programas: Monolíticos (Fluxograma e Instruções Rotuladas), Iterativos e Recursivos. Máquinas: Máquina 2_REG. Computações e Funções Computadas. Equivalência de Programas e Máquinas. Máquinas Universais: Turing, Post e com Pilhas. Computabilidade.

01. Programas Monolíticos com Fluxogramas

02. Programas Monolíticos com Instruções Rotuladas

03. Programas Iterativos

04. Programas Recursivos

05. Máquinas, Computações e Funções Computadas

06. Equivalências de Programas e Máquinas

07. Máquinas de Turing

08. Máquinas de Post

09. Máquinas com Pilhas

10. Funções Recursivas

11. Computabilidade

Diverio, Tiarajú Asmuz. (2000). Teoria da Computação: máquinas universais e computabilidade. 2ª edição. Porto Alegre: Instituto de Informática da UFRGS: Sagra Luzzatto. 224 páginas.

Lewis, Harry R. (2000). Elementos de Teoria da Computação. 2ª edição. Porto Alegre: Bookman. 339 páginas.

Menezes, Paulo Fernando Blauth. (2000). Linguagens Formais e Autômatos. 4ª edição. Porto Alegre: Instituto de Informática da UFRGS: Sagra Luzzatto. 165 páginas.

Ramos, Marcus Vinícius Midena. (2009). Linguagens Formais: teoria, modelagem e implementação. Porto Alegre: Bookman. 656 páginas.

Sipser, Michael. (2007). Introdução à Teoria da Computação. 2ª edição. São Paulo: Thomson Learning. 459 páginas.

Strathern, Paul. (2000). Turing e o Computador em 90 Minutos. Rio de Janeiro: Jorge Zahar Editor. 89 páginas.