Descripción
Teoria dÆautÿmats
Resumen del libro
Este manual universitario ofrece una introducción rigurosa y práctica a la teoría de autómatas, un pilar fundamental de la informática teórica. Los autores, Quiti Borges y Joan Serra, presentan los conceptos esenciales sobre lenguajes formales, gramáticas y máquinas abstractas, desde los autómatas finitos hasta las máquinas de Turing. El libro está diseñado para facilitar la comprensión de los fundamentos de la computación, combinando explicaciones claras con ejercicios aplicados. Es una herramienta indispensable para estudiantes de ingeniería informática que necesiten dominar los principios que subyacen al diseño de compiladores, el procesamiento del lenguaje natural y la teoría de la complejidad.
¿De qué trata?
La obra desarrolla de forma progresiva los modelos matemáticos que definen la capacidad de cómputo. Comienza con los autómatas finitos y las expresiones regulares, para luego abordar los autómatas con pila y las gramáticas libres de contexto. A continuación, introduce las máquinas de Turing como modelo de computación universal y explora la jerarquía de Chomsky, que clasifica los lenguajes según su complejidad. Cada capítulo incluye ejemplos resueltos y problemas propuestos que ayudan a fijar los conceptos, haciendo énfasis en la relación entre la teoría y su aplicación práctica en el diseño de sistemas informáticos.
Temas principales
- Autómatas finitos deterministas y no deterministas
- Expresiones regulares y lenguajes regulares
- Autómatas con pila y gramáticas libres de contexto
- Máquinas de Turing y computabilidad
- Jerarquía de Chomsky y clasificación de lenguajes formales
¿Para quién está recomendado?
Está dirigido a estudiantes universitarios de los primeros cursos de ingeniería informática, ciencias de la computación o matemáticas aplicadas. También es útil para profesionales que deseen refrescar o profundizar en los fundamentos teóricos de la computación, especialmente aquellos interesados en compiladores, inteligencia artificial o teoría de lenguajes.
Qué aporta este libro
- Proporciona una base sólida en los modelos formales de computación, esencial para asignaturas avanzadas.
- Incluye ejercicios prácticos que refuerzan la comprensión teórica y preparan para la resolución de problemas reales.
- Ofrece una estructura didáctica que facilita el estudio autónomo, con ejemplos paso a paso.
- Ayuda a entender los límites de la computación y la clasificación de problemas según su dificultad.
- Sirve como referencia compacta y completa para consultar conceptos clave durante la carrera.
Ficha técnica
- Autor: QUITI BORGES; Joan Serra
- Editorial: Servei de Publicacions de la Universitat Autònoma de Barcelona
- Idioma: Español
- Tema: Informática - Informática práctica - Ordenadores. Conceptos. Elementos
- Colección: Materials
- Encuadernación: Tapa blanda
- Fecha de edición: 2002
- Número de páginas: 140
- Dimensiones: 28.0 cm x 19.5 cm
- Peso: 463.0 gr
Valoración editorial
Se trata de un manual académico de referencia en el ámbito de la informática teórica, publicado por una editorial universitaria de prestigio. Su enfoque claro y estructurado lo convierte en una herramienta eficaz para el aprendizaje autónomo o como complemento a clases magistrales. Aunque su contenido es especializado, la progresión didáctica lo hace accesible para quienes se inician en la materia. Es una opción recomendable para bibliotecas universitarias y para estudiantes que busquen un texto conciso pero completo sobre autómatas y lenguajes formales.