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 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
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..
5 centavos
5 0
10 centavos
5 centavos 25 centavos
25 centavos
10
5 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
30+
30+
30+
30+
30+
30+
30+