LENGUAJES FORMALES Y TEORIA DE LA COMPUTACION (3ª ED.)

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 completos. Entre las características fundamentales de esta excelente obra, destacan las siguientes:· La presentación de los conceptos fundamentales se vincula 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.