Teoría de Autómatas y lenguajes formales

Sinopsis

Este libro tiene como principal objetivo el apoyo a la docencia de "Teoría de Autómatas y Lenguajes Formales", asignatura troncal en las actuales titulaciones de Informática en la Universidad de Extremadura. El contenido de este libro se ha estructurado en base a la correspondencia biunívoca que existe entre máquinas programables y gramáticas formales, y permite desarrollar de manera sistemática el diseño de lenguajes de programación y de sus correspondientes traductores. La teoría de autómatas es la puerta que nos permite la entrada hacia campos tan interesantes como la computabilidad y la complejidad algorítmica. Además, una de las principales aportaciones del estudio de los lenguajes formales, sobre todo desde un punto de vista práctico, es su contribución al diseño de lenguajes de programación y a la construcción de sus correspondientes traductores. En este sentido ayudará a conocer con mayor profundidad la estructura de los lenguajes de programación y el funcionamiento de los compiladores.