Ortiz Almaraz Brenda Michel

Lenguaje de autmatas II

Expresiones regulares

QUE ES UN EXPRESION REGULAR?

Las expresiones regulares estn relacionadas con los autmatas finitos no
deterministas y pueden considerarse una alternativa.
Es una serie de caracteres que nos permite comparar un conjunto de patrones
relacionados entre s.
Las expresiones regulares pueden definir de forma exacta los mismos lenguajes
que describen los distintos tipos de autmatas
Las expresiones regulares pueden definir de forma exacta los mismos lenguajes
que describen los distons tipos de autmatas, los lenguajes regulares.
Denficin formal de Lenguajes Regulares
Un lenguaje L es regular si y slo si se cumple al menos una de las condiciones
siguientes:
L es nito; L es la unin o la concatenacin de otros lenguajes regulares R1 y R2,
L = R1 R2 o L = R1R2 respectivamente. L es la cerradura de Kleene de algn
lenguaje regular, L = R

http://www.slideshare.net/WhoIsThiswinking/expresiones-regulares-y-gramticas17261756

Signicado de las Expresiones Regulares

Las ER son formulas cuyo propsito es representar cada una de ellas un
lenguaje. As, el signicado de una ER es simplemente el lenguaje que ella
representa

Por ejemplo, la ER representa el conjunto vaco {}

Ortiz Almaraz Brenda Michel

Lenguaje de autmatas II

Operaciones
Hay tres operaciones sobre los lenguajes que representan los operadores de las
expresiones regulares. Estas son :

Unin
Es el conjunto de cadenas que pertenecen a dos cadenas.
Concatenacin
Es el conjunto de cadenas que se puede formar tomando cualquier cadena y se
concatena con otra cadena.
Clausura
Representa el conjunto de las cadenas que se pueden formar tomando cualquier
nmero de cadenas, con posibilidad de repeticin de la misma cadena ya que
puede ser seleccionada ms de una vez.

Autmatas finitos no deterministas

Los autmatas finitos no-deterministas se asemejan a los AFD, excepto por el
hecho de que para cada estado q Q y cada a , la transicion (q, a) puede
Consistir en mas de un estado o puede no estar definida. Mas concretamente, un
Autmata finito no-determinista (AFN) esta definido por
M = (, Q, q0, F, )

Donde

Ortiz Almaraz Brenda Michel

Lenguaje de autmatas II
1. es el alfabeto de cinta.
2. Q es un conjunto (finito) de estados.
3. q0 Q es el estado inicial.
4. 6= F Q es el conjunto de estados finales o estados de aceptacin.
5. : Q (Q)
(q, a) 7 (q, a) = {qi1, qi2, . . . , qik }
Donde (Q) es el conjunto de subconjunto de Q.

http://www.virtual.unal.edu.co/cursos/ciencias/2001018/lecciones/PDFs/Cap2/Cap
2s4.pdf

Ortiz Almaraz Brenda Michel

Lenguaje de autmatas II

Bibliografa
John E hopocroft introduccion a la teora de autmatas, lenguajes y computacin
Edit Pearson pag. 71-73

http://www.slideshare.net/WhoIsThiswinking/expresiones-regulares-y-gramticas17261756