Automatas, Gramaticas Y Lenguajes Formales: Problemas Resueltos

La teoría de androides es una materia básica en el área de la computación.

Esta materia se ocupa del estudio de las máquinas de estados finitos que se usan como reconocedores de idiomas.

En lo que se refiere a reconocedores, suponen la base para la construcción de compiladores y para el estudio de la computabilidad, o sea qué es con la capacidad de computar una máquina de hoy y con qué contrariedad.

Por norma general, los contenidos escritos que cubren esta materia, lo hacen desde un enfoque teórico sugiriendo, para cada tema, una sucesión de ejercicios que debe arreglar el lector.

En esta materia es de manera especial esencial comprender la relación que hay entre las distintas maneras de representación de las distintas máquinas teóricas que ya están.

El propósito de este libro el de proponer ejercicios que recorran, para un mismo inconveniente, todas y cada una de las opciones de representación y sus equivalencias.

No es propósito de este libro enseñar la base teorética que deje arreglar estos ejercicios.

Este libro sirve por consiguiente, de complemento para otros contenidos escritos de contenido teórico.

En todos y cada capítulo se enunciarán los entendimientos teóricos precisos para la resolución de los problemas planteados, como las referencias que se tienen la posibilidad de preguntar para lograr estos entendimientos.

El libro se completa con ejercicios mucho más cortos de carácter teorético/práctico que deja afianzar los entendimientos de esta materia.

Como asistencia para la comprensión de los ejercicios expuestos en este artículo se aconseja el empleo de JFLAP, un programa gráfico aplicando en Java que deja evaluar con idiomas formales, gramáticas y robots (libre en http://www. ia. universidad nacional de educación a distancia. es/asignatura/aglf /)