JOHN MARTIN

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.

Designed to help the learner develop their basic language skills, this book consists of informative reading texts with comprehensive notes, word lists, further explanation on points of grammar and a