Argumento de Teoría de Autómatas y Lenguajes Formales
La informática teórica o teoría de autómatas y lenguajes formales se sustenta en una base matemática derivada del Álgebra. Este libro es accesible a cualquier lector con una formación matemática universitaria elemental, e incluye el material matemático adicional necesario para que sea autocontenido.La informática teórica trabaja con los tres paradigmas de lenguajes, máquinas y gramáticas; los clasifica según su complejidad y los relaciona estudiando las equivalencias existentes entre ellos. Este libro realiza de forma explícita un recorrido independiente por cada uno de los paradigmas, que facilita la comprensión de sus peculiaridades, para estudiar posteriormente sus relaciones. El orden de presentación de los capítulos intenta seguir el orden cronológico de su aparición. Además de estos paradigmas clásicos, la investigación en Informática Teórica ha propuesto y estudiado otros que se pueden considerar extensiones de los mismos. Este libro introduce algunos de los más citados actualmente, lo que facilitará al lector investigaciones posteriores. El libro se completa con material práctico disponible en páginas web, que incluye problemas resueltos y versiones ejecutables de algoritmos descritos en el mismo, que facilitan la incorporación del alumno a esta disciplina.01. Máquinas, lenguajes y problemas. 2. Máquinas de Turing. 3. Autómatas finitos 4. Autómatas a pila. 5. Gramáticas. 6. Gramáticas y máquinas. Tipos 0 y 1. 7. Lenguajes regulares. 8. Lenguajes independientes del contexto. 9. Computabilidad y complejidad. 10. Otras máquinas y gramáticas. 11. Sistemas avanzados de cómputo. Apéndice A. Conceptos matemáticos utilizados.
El Afinador
Marvel Zombies: las Portadas (marvel Graphic Novels)
Superior
Zaya. Tomo 01
Prontuario de Neumática Industrial
Problemas Resueltos de Electrónica Digital
Instalaciones Eléctricas de Alumbrado e Industriales
Técnicas y Procesos En las Instalaciones Eléctricas En Media y Baja Tensión