Elements of the Theory of Computation – James Grimmelmann, Harry R. Lewis, Christos H. Papadimitriou – 2nd Edition

Este manual contiene, con algunas excepciones, soluciones a todos los problemas planteados en elementos de la teoría de la computación. Se omiten ciertos problemas que son intratables como se indica, aunque cuando se disponía de una interpretación correcta para un problema claramente “erróneo”, se presenta en su lugar una solución al problema tal como se pretendía.

El nivel de rigor de las soluciones varía: el enfoque general es dar una construcción formal precisa, junto con la intuición de por qué funciona la construcción y una breve sinopsis de cómo se podría dar una prueba rigurosa de corrección.