Lenguajes formales y teoría de la computación es un tratado de la teoría de la computación con énfasis en los lenguajes formales, autómatas y modelos abstractos de computación y de computabilidad; también incluye una introducción a la complejidad computacional y a los problemas NP complejos.

El autor aprovecha el rigor y la precisión del lenguaje matemático, a la vez que ofrece análisis y ejemplos que lo hacen comprensible para quien comienza a familiarizarse con el mismo.

Entre las características fundamentales de esta excelente obra, destacan las siguientes:

• La presentación de los conceptos fundamentales se víncula con situaciones del mundo real de la computación.
• Está diseñada para ser accesible, tanto para quien posee una formación básica en matemáticas discretas, como para quien carece de la misma, ya que las explicaciones son detalladas y están muy bien organizadas.
• Contiene una gran cantidad y variedad de problemas y ejercicios, con diversos grados de dificultad.
• Realiza una presentación contextualizada y gradual de las herramientas matemáticas necesarias para el desarrollo de la comprensión de los lenguajes formales.
• El sitio web http://highered.mcgraw-hill.com/sites/0072322004, contiene recursos didácticos adicionales para un aprendizaje óptimo.

Todo lo anterior, convierte a esta obra en un instrumento indispensable que permitirá a esta obra en un instrumento indispensable que permitirá al estudioso de la computación adquirir los conocimientos de vanguardia que le conducirán a un desempeño exitoso de su actividad.

www.mhhe.com/computacion/martin3e