El documento habla sobre el análisis léxico en lenguajes formales y de programación. Explica que el scanner lee caracteres del programa fuente, los agrupa en lexemas y produce tokens. Define los conceptos clave de token, patrón y lexema. También describe expresiones regulares, que sirven para modelar patrones usando operadores como concatenación, unión y cerradura.

1. Lenguajes Formales y de
Programación
Sesión 4

2. El análisis léxico

3. La función del scanner
La principal función es leer los caracteres de la entrada del programa
fuente, agruparlos en lexemas y producir como salida una secuencia de
tokens para cada lexema en el programa fuente.

5. Tres conceptos
claves ● Token
● Patrón
● Lexema
Para manejar en análisis léxico

6. Lexema
Es una secuencia de caracteres en el programa fuente,
que coinciden con el patrón para un token.

7. Patrón
Es una descripción de la forma que pueden tomar los
lexemas en un token.

8. Token
Es un par (clave-valor), dicho par es el nombre del
token y un valor de atributo opcional.

9. Lexema, patrón, token

10. Buffer

11. Centinela

12. Operaciones del lenguaje

13. Definiciones de las operaciones

14. Expresiones regulares
Es una notación basada en los operadores del lenguaje
que sirve para poder modelar patrones en el análisis
léxico.

15. Base de las expresiones regulares
● “ ε es una expresión regular, y L(ε) es {ε}; es decir, el lenguaje cuyo
único miembro es la cadena vacía.
● Si a es un símbolo en Σ, entonces a es una expresión regular, y L(a) =
{a}, es decir, el lenguaje con una cadena, de longitud uno, con a en su
única posición. “

16. Inducción de las expresiones regulares
Dados los lenguajes L(r) y L(s)

17. Inducción de las expresiones regulares
Dados los lenguajes L(r) y L(s)
● (r)|(s) es una expresión regular que denota el lenguaje L(r) ∪ L(s).

18. Inducción de las expresiones regulares
Dados los lenguajes L(r) y L(s)
● (r)|(s) es una expresión regular que denota el lenguaje L(r) ∪ L(s).
● (r)(s) es una expresión regular que denota el lenguaje L(r)L(s).

19. Inducción de las expresiones regulares
Dados los lenguajes L(r) y L(s)
● (r)|(s) es una expresión regular que denota el lenguaje L(r) ∪ L(s).
● (r)(s) es una expresión regular que denota el lenguaje L(r)L(s).
● (r)* es una expresión regular que denota a (L(r))*.

20. Inducción de las expresiones regulares
Dados los lenguajes L(r) y L(s)
● (r)|(s) es una expresión regular que denota el lenguaje L(r) ∪ L(s).
● (r)(s) es una expresión regular que denota el lenguaje L(r)L(s).
● (r)* es una expresión regular que denota a (L(r))*.
● (r) es una expresión regular que denota a L(r).

21. Inducción de las expresiones regulares
Dados los lenguajes L(r) y L(s)
● (r)|(s) es una expresión regular que denota el lenguaje L(r) ∪ L(s).
● (r)(s) es una expresión regular que denota el lenguaje L(r)L(s).
● (r)* es una expresión regular que denota a (L(r))*.
● (r) es una expresión regular que denota a L(r).

22. Presedencia
● Cerradura *
● Concatenación
● Or

23. Leyes algebraicas de las expresiones regualres

24. ¿Dudas?