2º curso Ingeniería Técnica en Informática de Sistemas UNED Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED
Sesión 3 Expresiones regulares Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana
Expresiones regulares Tres operaciones sobre lenguajes regulares: UNION ¿La unión de 2 lenguajes regulares es regular? CONCATENACIÓN ¿La concatenación de 2 lenguajes regulares es regular? ESTRELLA DE KLEENE ¿La estrella de Kleene de 1 lenguaje regular es regular? Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana
Expresiones regulares UNION (L1 L2) Figura 1.27 CONCATENACIÓN (L1 ◦ L2) Figura 1.28 ESTRELLA DE KLEENE (L*) Forma todas las concatenaciones de cero o más cadenas del lenguaje que se amplia Incluye {λ} Figura 1.29 Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana
Expresiones regulares Definición formal de expresión regular Dado un alfabeto Σ, los lenguajes regulares de Σ son exactamente los lenguajes representados por las expresiones regulares de Σ. Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana
Expresiones regulares Son equivalentes: Lenguajes aceptados por AFD Lenguajes aceptados por AFND Lenguajes aceptados por gramáticas regulares Lenguajes aceptados por expresiones regulares PROBLEMA: Estos lenguajes no tienen memoria. El lenguaje XnYn no es regular. Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana
Expresiones regulares Resolver los siguientes ejercicios: Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana