Fundamentos da Teoria da Computação
Segundo semestre/2009