Aborda os principais aspectos relativos à teoria da computação de forma sistematizada e acessível.