CI1059, Introdução à Teoria da Computação.