Undergraduate Texts in Computer Science. Springer. New York. 1997.

De 24,5x18,5 cm. Com xiii, 400 págs. Encadernação do editor. Ilustrado no texto com gráficos. Capa: John Still.

Exemplar com assinatura de posse.

Manual introdutório de teoria da computação, dedicado aos autómatos finitos, linguagens regulares e livres de contexto, autómatos de pilha e máquinas de Turing. Aborda ainda computabilidade efectiva, decidibilidade, reduções e os teoremas da incompletude de Gödel, com exercícios e problemas de aplicação.