Teora de Autmatas I

2 curso Ingeniera Tcnica en Informtica de Sistemas UNED

Sesin 3

Expresiones regulares

Teora de Autmatas I

2 Ing. Tec. Informtica Sistemas

Josep Silva Galiana

Expresiones regulares

Tres operaciones sobre lenguajes regulares:

UNION

La unin de 2 lenguajes regulares es regular? La concatenacin de 2 lenguajes regulares es regular? La estrella de Kleene de 1 lenguaje regular es regular?

CONCATENACIN

ESTRELLA DE KLEENE

Teora de Autmatas I

2 Ing. Tec. Informtica Sistemas

Josep Silva Galiana

Expresiones regulares

UNION (L1 L2)

Figura 1.27 Figura 1.28 Forma todas las concatenaciones de cero o ms cadenas del lenguaje que se amplia Incluye {} Figura 1.29

CONCATENACIN (L1 L2)

ESTRELLA DE KLEENE (L*)

Teora de Autmatas I

2 Ing. Tec. Informtica Sistemas

Josep Silva Galiana

Expresiones regulares

Definicin formal de expresin regular Dado un alfabeto , los lenguajes regulares de son exactamente los lenguajes representados por las expresiones regulares de .

Teora de Autmatas I

2 Ing. Tec. Informtica Sistemas

Josep Silva Galiana

Expresiones regulares

Son equivalentes:

Lenguajes aceptados por AFD Lenguajes aceptados por AFND Lenguajes aceptados por gramticas regulares Lenguajes aceptados por expresiones regulares

PROBLEMA: Estos lenguajes no tienen memoria.

El lenguaje XnYn no es regular.

2 Ing. Tec. Informtica Sistemas Josep Silva Galiana

Teora de Autmatas I

Expresiones regulares

Resolver los siguientes ejercicios:

Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4

Teora de Autmatas I

2 Ing. Tec. Informtica Sistemas

Josep Silva Galiana