Teoría de autómatas y lenguajes formales

Abstract

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.

This book has as main objective to support the teaching of "Theory of automata and formal languages", core subject in the current computing degrees at the University of Extremadura. The contents of this book has been structured on the basis of such a one-to-one correspondence between programmable machines and formal grammars, and allows you to develop in a systematic way the design of programming languages and their corresponding translators.

The theory of automata is the door that allows us to input fields as interesting as the computability and algorithmic complexity. In addition, one of the main contributions of the study of formal languages, especially from a practical point of view, is its contribution to the design of programming languages and the construction of their corresponding translators. In this sense will help you learn in greater depth the structure of programming languages and the operation of the compilers.