MARCO TEORICO:

            Para la realización o el buen entendimiento de este proyecto se necesitan tres herramientas matemáticas básicas.

a) La notación teórica establecida,

b) El dominio de los conceptos de funciones y relaciones,

c) Buenos conocimientos de inducción matemática.

La capacidad para usar notación la teórica establecida depende, fundamentalmente, del conocimiento de las definiciones básicas de símbolos y sus significados.

El prerrequisito de este proyecto0 es el conocimiento de algún lenguaje de programación de alto nivel y los fundamentos de  estructuras de datos y algoritmos, teoría de conjuntos, funciones, relaciones, lógica y elementos de razonamiento matemático.

El campo de las ciencias computacionales incluye un amplio rango de temas especiales, desde el diseño de una máquina hasta la programación. El uso de la computación en el mundo involucra una riqueza de detalles específicos que deben ser aprendidos para aplicaciones exitosas. La construcción de modelos es unas de las esencias de cualquier disciplina científica, y el uso de una disciplina depende de la existencia de teorías y reglas.

La Teoría de Lenguajes y Autómatas tiene diversas aplicaciones, como son el diseño digital, lenguajes de programación y compiladores. Para modelar el hardware de una computadora introducimos la noción  de autómata, que es una construcción que posee las características indispensables de una computadora digital. Acepta una entrada, produce una salida, puede tener un almacenamiento temporal, y puede decidir en la transformación de la entrada en la salida.

A continuación se describen algunos conceptos básicos necesarios para entender el funcionamiento de los autómatas:

• Un lenguaje formal consiste de un conjunto de símbolos y algunas reglas de formación por los cuales esos símbolos pueden ser combinados en entidades llamadas sentencias.

• Un símbolo es una entidad abstracta que no se define formalmente., por ejemplo a, b,1,’,@

• Un alfabeto S es un conjunto finito de símbolos, por ejemplo {a,b,c}, {1,2,3}

• Una cadena es una secuencia de símbolos

• La cadena nula Î es la cadena de longitud 0

DESARROLLO:

            Antes de empezar la realización de los autómatas del proyecto se deben tomar en cuenta algunos conceptos basicos para el buen funcionamiento de los autómatas.

Un lenguaje regular es aquel que puede ser descrito por Expresiones Regulares, para ello debemos definir este concepto y enfatizar en las tres operaciones válidas que se pueden utilizar entre ellos.

Un lenguaje regular  es aquel que puede ser descrito por expresiones regulares y autómatas finitos deterministas

Las expresiones regulares  (ER) de un alfabeto S son conjuntos de cadenas definidos como sigue: