Esta obra apresenta a teoria da computação de forma clara, com teoremas e provas que destacam a intuição por trás de cada resultado. Os exercícios permitem revisar conceitos e enfrentar desafios que estimulam a criatividade. Os três últimos capítulos são inéditos, incorporando sugestões de professores e alunos. Esta 2ª edição oferece material para um semestre de curso, permitindo flexibilidade na abordagem dos tópicos.