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
05. Máquinas, Computações e Funções Computadas
06. Equivalências de Programas e Máquinas
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.