Lenguajes y Autómatas: Una perspectiva funcional con Racket

Abstract

Este libro es el resultado de algunos años de coleccionar y mejorar funciones que se han empleado en cursos de Lenguajes Formales y Autómatas, en la Universidad Juárez Autónoma de Tabasco, en México. El contenido de este material abarca diferentes temas fundamentales, desde lógica proposicional hasta la teoría clásica de autómatas finitos. El enfoque presentado es completamente práctico, programando casi todas las funciones matemáticas que usualmente se estudian solamente en teoría, en prácticamente la mayoría de los libros de texto. Se ha empleado el lenguaje de programación DrRacket para implementar las funciones matemáticas, porque es un lenguaje con una sintaxis muy simple y fácil de aprender, lo cual es sumamente útil para expresar en código las ideas y conceptos de la teoría de lenguajes formales y autómatas finitos.