Diagrama de Transicin Maestro para el Analizador Lxico

AL

DECLARATIVAS

EXPRESIONES INSTRUCCIONES

Wasilio Koslow (cualquier error se corregir)

Diagrama de Transicin Maestro

El diagrama anterior muestra que 1ro se esperan las Declaraciones INT como REAL. Esta entrada al ambiente de Declaraciones lo efecta el analizador lxico (AL) automticamente al inicio. Una vez que el AL detecte una cadena diferente a esas palabras reservadas, entra y permanece en el ambiente de Instrucciones. Esa cadena que sale del ambiente de declaraciones es la transicin que culminan en el nodo 12, el cual pertenece al Ambiente de Instrucciones.

Wasilio Koslow (cualquier error se corregir)

Diagrama de Transicin para las Declaraciones

1
Rr Ee

Aa

Ll

Spc

l# 00
NO ES: Rr Ii

l# 12 8

9x

10

Ii

Nn

Tt

Spc

Wasilio Koslow (cualquier error se corregir)

Diagrama de Transicin para las Declaraciones

En el Diagrama anterior se informa:

Spc es espacio en blanco. INT es INTEGER, pueden abreviarlo. Se eliminaron para este trabajo la declaracin CONSTANTE. Se muestran las minsculas de INT y REAL pero no es requisito usarlas. Es para efectos acadmicos. Nodo 9 y 10 graban el TOKEN del identificador en la TS, esto es si el delimitador fue una coma (nodo 9) o un punto-y-coma (nodo 10), y , sis no existe previamente. Implica que no se debe aceptar repeticiones de Identificadores en la Lista de Variables ni para Real ni para Int. Al detectar que toca el nodo 12 se debe restar la cantidad de caracteres analizados para que en nodo 12 se completen los 9 caracteres, de los 10 para identificadores. Es invlido identificar variables igual a una palabra reservada, se comprueba contra la TS. Los operadores son los expresados en la TS.
Wasilio Koslow (cualquier error se corregir) 4

Diagrama de Transicin para las Instrucciones

l
11

l#
9x

12

;+-*/^=
13

+-

140

#
141

# # + */^ (

=
26 Wasilio Koslow (cualquier error se corregir) 5

.
15

Ee
16

17

# #

19

+-

+ * / ^ ;

20

21 22 23 24

18

)
25

Diagrama de Transicin para las Instrucciones

En el Diagrama anterior:
Nodos 11 y 140 es para el caso hay signo + o antes del 1er dgito, si no hay pasa de Nodo 11 al 141 con el 1er dgito, el 141 sale como entero por delimitadores o es el . (punto decimal) denotando que es un real lo detectado. Nodo 13 de identificadores NO GRABA TOKEN, porque ya estn declaradas. Solo verifica que existen en la TS. Salida del 15 al 16 es cuando se est expresando la potencia 10 elevada a un exponente, ejemplo: E-5 representa 10-5. Salida del 20 es cuando se detectan constantes numricas en el texto. De una vez se guarda el TOKEN si es entero o real. Del nodo 11-21 al 11-26 solo implica que se va a comprobar en la TS que el operador existe Toda constante numrica se hace TOKEN, si resultare que se repite esa constante, ejemplo un cero que inicializa distintas variables, solo se hace TOKEN de la 1ra ocurrencia del cero. En la TS a continuacin, correlativo significa el consecutivo de la variable o constante real o entera a registrar en la TS. La columna TIPO est por definir su existencia. Lexema de un identificador es el identificador en si, para la constante, es el valor analizado y detectado. Observar los delimitadores definidos.
Wasilio Koslow (cualquier error se corregir) 6

Esquema no definitivo de una TS

TOKEN INT REAL + * / LEXEMA INT REAL + * / Valor 1 2 3 4 5 6 Correlativo ------------Tipo -------

^
= ( ) IDREAL IDENTERO COREAL COENTERO

^
= ( )
Lo expresado Lo expresado Lo expresado Lo expresado

7
8 9 10 11 12 13 14

--------De 0 a N De 0 a N De 0 a M De 0 a M

--------7

Wasilio Koslow (cualquier error se corregir)