Compiladores Análisis Léxico Oscar Bonilla Universidad Galileo

Anatomía de un compilador Analizador Sintáctico (Parser) Generador de Código Optimizador de Código Analizador Semántico Analizador Léxico (Scanner) Parse Tree Programa (character stream) Token stream Intermediate Representation Optmized Intermediate Representation Assembly code

Ayer vimos Expresiones Regulares La expresiones regulares son útiles para describir strings, pero necesitamos reconocerlos. Esta es la diferencia entre conocimiento declarativo (qué es) y conocimiento imperativo (cómo hacerlo). Así que usamos expresiones regulares para describir los strings, pero usamos automata finitos para reconocerlos.

¿Qué es un automaton? Un automaton finito tiene un conjunto de estados; aristas que llevan de un estado a otro, cada arista está etiquetada con un símbolo. Un estado es el estado inicial, y algunos de los estados son los estados finales. 1 2 i f 3 IF if 1 2 a-z 0-9 ID [a-z][a-z0-9]*

Más ejemplos  3 4  5 REAL ([0-9]+"."[0-9]*) | ([0-9]*"."[0-9]+) Más ejemplos \n a-z 4 espacio, etc Espacios y Comentarios ("--"[a-z]*"\n") | (" " | "\n" | "\t")+

¿Cómo transformamos una expresión regular en un automaton? a  a 

M N Para expresiones regulares M y N MN

¿Cómo transformamos una expresión regular en un automaton? M | N M N    

¿Cómo transformamos una expresión regular en un automaton? M  NM  N N M

M* M    

¿Cómo transformamos una expresión regular en un automaton? M+ M   

¿Cómo transformamos una expresión regular en un automaton? M? M   

(-|  (0|1|2|3|4|5|6|7|8|9)+  (.  (0|1|2|3|4|5|6|7|8|9)*)?

-  

-  

-   

-   

-    

-      

-     .

-   .    

-   .    

-   .    

String Matching -   .    

-   .    

-   .    

-   .    

-   .    

-   .    

-   .    

-   .    

-   .    

-   .    

-   .    

-   .    

-   .    

-   .    

-   .    

-   .    

-   .    

-   .    

-   .    

Automata Finito No Determinísticos Un NDFA es un automaton en el que existe al menos un estado que posee aristas múltiples etiquetadas con el mismo símbolo o con . Definición ¡Acabamos de ver un NDFA!

Que tenemos hasta ahora Expresiones regulares proporcionan un lenguaje formal para definir los tokens. Podemos convertir fácilmente las expresiones regulares a NDFA's. Pero los NDFA's no son nada sencillos de implementar. ¡Tienen que adivinar!

Ejercicio Construyan un automaton finito no deterministico que reconozca el lenguaje que contiene los números del 0 al 256.

Mañana Cómo convertir un NDFA a un DFA