Neste livro são abordados os principais aspectos relativos à Teoria da Computação de forma sistematizada e acessível, fornecendo meios para uma correta aplicação e entendimento dos conceitos de procedimento efetivo, computabilidade e solucionabilidade de problemas.O livro possui texto simples,muitas ilustrações,80 exemplos detalhados e mais de 100 exercícios em níveis crescentes de raciocínio.