UNIDAD 3 APLICACIONES (DEFINICIN DE UN CASO DE ESTUDIO)

EQUIPO 1 Materia: Lenguajes y Autmatas

ANALISIS LEXICO
Se aborda el problema que enfrenta un compilador: detectar si una cadenas del programa fuente representa o no un nombre de una variable aceptable en un lenguaje de programacin , estos comienza con una letra seguida por una combinacin arbitraria (pero finita) de letras y dgitos. Ejemplo X25, pepeRosas y x2y3z son aceptables . A estos smbolos los llamaremos marcas de fin de cadena. En el caso de las variables estos espacios podran ser marcas de fin de cadena

DIAGRAMAS DE TRANSICIONES
Unidad de programa que reconozca una las ocurrencia de nombres de variables . Un

diagrama de transiciones (tambin llamado diagrama de estados o en el campo de procesamiento de lenguajes naturales red de transiciones).
Cada uno de estos arcos se etiqueta con un smbolo o categora de smbolos (p.ej., digito o

letra) que podra representar una cadena

En este problema mostraremos mediante a un diagrama de transiciones la entrada de una

letra o digito en el cual para ser aceptado siempre debe tener en cuenta que entre una letra por ej.
P2 : al momento de entra siempre va hacer aceptado siempre y cuando sea una letra y

despus el numero
34: en este caso si entra con un digito no va poder ser aceptado

letra

3 digito 1

TABLA DE TRANSICIONES
Una tabla de transiciones es un arreglo (o matriz) bidimensional cuyos elementos proporciona el resumen de una diagrama de transiciones correspondiente. Para elaborar esta tabla de este tipo construimos primero un arreglo con una fila para cada estado de transiciones y una columna para smbolo o categora. El elemento que se encuentra en la fila m y la columna n es el estado que alcanzara en el diagrama de transiciones al dejar el estado m a travs de un arco de etiqueta n. con la finalidad de completar la tabla de transiciones, agregamos una columna rotulada FDC para el fin de una cadena
Letra 1 2 3 Error 3 2 Error 3 digito FDC Error Error aceptar

AUTOMATAS DETERMINISTA
Son caractersticas pertinentes de un sistema de reconocimiento de patrones construido sobre el principio de los diagramas de transiciones, para que podamos estudiar de manera genrica el potencial de una sistema de reconocimiento de patrones en vez de presentar. Para iniciar esta tarea de formalizacin reconocemos que las cadenas que debe analizarse una aplicacin esta construida a partir de un conjunto de smbolos. Un analizador lxico es un compilador estas cadenas generalmente estn formadas por los smbolos disponibles. Un computador digital moderno todos estos smbolos se representa por patrones de ceros y unos.

Flujo de proceso de

Entrada reconocimiento

DIAGRAMA DE TRANSICIONES DETERMINISTA

El requisito del determinismo impone ciertas retracciones sobre los

diagramas de transiciones que pueden aparecer en los programas para un autmata finito determinista. Cada estado de estos diagramas solo debe tener un arco que sale para cada smbolo del alfabeto de lo contrario una maquina que llega a ese estado se enfrentara a una eleccin de cual debe ser el arco a seguir..

EJEMPLOS DE AUTOMATAS FINITOS DETERMINISTAS

Considere una maquina vendedora que entrega a una persona el caramelo elegido despus de recibir un total de 30 centavos en monedas de 5,10 y 25. en este caso el alfabeto del autmata consiste entres tamaos de monedas distintos un estado maquina es la cantidad total de dinero que ha recibido desde que se entrego el ultimo caramelo el estado inicial es no haber recibido ninguna moneda desde la entrega del ultimo caramelo y un estado de aceptacin es recibir al menos 30 centavos

5 centavos

5 0
10 centavos

5 centavos 25 centavos

25 centavos

10
5 centavos

10 centavos 25 centavos 10 centavos

15
5 centavos

20
5 centavos

25

5 centavos

30 o mas

25 centavos 10 centavos
5 centavos

10 centavos 25 centavos

TABLA DE TRANSICIONES
5 0 5 10 15 5 10 15 20 25 30 o mas 30 o mas 10 10 15 20 25 30 o mas 30 o mas 30 o mas 25 25 30 o mas 30 o mas 30 o mas 30 o mas 30 o mas 30 o mas

20
25 30 o mas

DIAGRAMA DE TRANSICIONES

TABLA DE TRANSICIONES

5 0 5 10 15 20 5 10 15 20 25

10 10 15 20 25 30+

25 25 30+ 30+ 30+ 30+

25
30+

30+
30+

30+
30+

30+
30+