LFA2

Lenguajes regulares Aplicaciones de expresiones regulares Ejercicios Lenguajes Formales y Aut omatas
LR y GR
Jos e Antonio Rodr guez Melquiades Lenguajes regulares Conjuntos regular Expresi on regular Aplicaciones de expresiones regulares Ejercicios
Lenguajes Formales y Aut omatas

LR y GR
Jos e Antonio Rodr guez Melquiades

Universidad Nacional de Trujillo 26 de agosto de 2013
LR y GR
Conjuntos regular Expresi on regular
LR y GR
Expresiones y conjuntos regulares
1 Lenguajes regulares

2 Aplicaciones de expresiones regulares 3 Ejercicios
LR y GR
LR y GR
Lenguajes regulares
Las formas para especicar un lenguaje regular son: (a) Mediante la notaci on basada en la teor a de conjuntos. (b) Mediante el dise no de un diagrama de estado (aut omata).
La primera es mas conveniente en el desarrollo de la teor a. La segunda, en general, es mas conveniente para el desarrollo de un reconocedor espec co.
LR y GR
LR y GR
Lenguajes regulares
Las formas para especicar un lenguaje regular son: (a) Mediante la notaci on basada en la teor a de conjuntos. (b) Mediante el dise no de un diagrama de estado (aut omata).
La primera es mas conveniente en el desarrollo de la teor a. La segunda, en general, es mas conveniente para el desarrollo de un reconocedor espec co.
Estas dos formas son destinadas para la especicaci on de un
lenguaje mediante un reconocedor.
LR y GR
LR y GR
Otras formas para especicar un lenguaje regular son: (c) Expresi on regular: Especica un lenguaje mediante una expresi on que la denota. (d) Gram atica regular: Especica un lenguaje mediante un conjunto de reglas que la generan. La primera es u til cuando se desea expresar el lenguaje de forma concisa, como un todo. Teoricamente, las expresiones regulares son adecuadas para las manipulaciones formales. Del punto de vista pr actico, son usadas para la referencia compacta de conjuntos de palabras. Ejemplo: Editores de texto, comandos de sistemas operativos. La segunda, teoricamente proporciona un lugar para los lenguajes regulares en la llamada Jerarquia de Chomsky.
LR y GR
LR y GR
Conjunto regular
Los conjuntos regulares denidas sobre un alfabeto son lenguajes que se denen recursivamente del modo siguiente: (1) es un conjunto regular sobre . (2) {} es un conjunto regular sobre . (3) {a}, a , es un conjunto regular sobre .
LR y GR
LR y GR
Si X e Y son conjuntos regulares, entonces tambi en son conjuntos regulares: (a) (X ). (b) X Y . (c) XY . (d) X . Un subconjunto X de es un conjunto regular, si X puede ser obtenido usando en forma combinada tales reglas.
LR y GR
LR y GR
Ejemplos: Sean = {0, 1}, 1 = {0} y 2 = {1} alfabetos. Entonces se tiene: (1) L = {, 0, 1, 00, 01, 11, . . .} = {0m 1n /m 0, n 0}. (2) L1 = {0} (3) L2 = {1} (4) L31 = {02n+1 /n 0} (5) L42 = {1m+1 /m 0}
LR y GR
LR y GR
Ejemplo El lenguaje de los n umeros naturales, N, es un conjunto regular denida sobre el = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}: L1 = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}{0, 1, 2, 3, 4, 5, 6, 7, 8, 9} Algunas palabras son:
1 2
w = 737 w = 6201245
LR y GR
LR y GR
Ejemplo Sea R = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. Entonces el lenguaje de los n umeros reales decimales sin signo, R {+, }, esta dado por el conjunto regular denido por = R {, }: L2 = RR {, }R R {, }RR Algunas palabras son:
1 2
w = 310, 72 w = 512, 44
LR y GR
LR y GR
Ejemplo Asumiendo que R = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. El lenguaje de los n umeros en punto otante con exponente (E ) y signo, esta dado por el conjunto regular denido por : L3 = {+, , }(RR {, }R R {, }RR ){E }{+, , }RR Algunas palabras son: 1 w = 310, 7E 12
2 3
w = 310, 7E + 12 w = +310, 757E 123
LR y GR
LR y GR
Expresi on regular: ER
Con el objetivo de dar mas facilidad en la manipulaci on de los conjuntos regulares, Kleene desarroll o en 1950 una notaci on llamada expresi on regular. Una ER sobre un alfabeto se dene recursivamente por: (a) , , a, a son expresiones regulares. (b) Si r , s son expresiones regulares, entonces (r + s ), son expresiones regulares. (rs ), r
LR y GR
LR y GR
Ejemplos Sea el alfabeto denido por = {a, b }. Entonces son ERs: (1) (2) (3) (ab ) (4) (a + b ) (5) (a + b ) (6) (((a + b ) b )(a + b )) (7) (a b ) bb
LR y GR
LR y GR
Ejemplos Sea el alfabeto denido por = {a, b , c }. Las ERs son: (1) (ab + c ) = ((ab ) + (c )) (2) a(b + c ) (3) (ab + c ) NOTA: a+ = aa . r n , n 0 se dene recursivamente por: (a) r 0 = (b) r n = rr n1 , n 1.
LR y GR
LR y GR
Ejemplo El lenguaje L = {am b n /m, n 0} = ((a) (b ) ) = a b El lenguaje L = {am b n /m 0, n 1} = a bb = a b +
Ejemplo:. El conjunto de todas las palabras de tama no 15 sobre = {0, 1} esta dado por (0 + 1)15
LR y GR
LR y GR
Ejemplo letra ( letra + digito ) Equivalentemente: (a + b + . . . + z )(a + b + . . . + z + 0 + 1 + . . . + 9) Algunas de sus palabras son: w = jair 2000 w = lenguajes w = unt
LR y GR
LR y GR
Propiedades en las ERs

Sean r , s y t ERs, entonces se tienen las propiedades siguientes: (a) Asociatividad: (r + s ) + t = r + ( s + t ) (rs )t = r (st ) (b) Conmutatividad: r +s =s +r (c) Elemento neutro: r +=+r =r r = r = r (d) Distribuci on r (s + t ) = rs + rt (s + t )r = sr + tr
Jos e Antonio Rodr guez Melquiades Lenguajes Formales y Aut omatas
LR y GR
LR y GR
Equivalencias de ERs
Sean r , s y t ERs, entonces se tienen las relaciones siguientes: (1) r + r = r (2) r = r = r (3) (r + s ) = (r s ) r (4) (r + s ) = r (sr ) (5) (rs ) = + r (sr ) s (6) r = r (7) r = (rr ) ( + r )
LR y GR
LR y GR
(8) = (9) = (10) r r = r (11) rr = r r (12) (r + s ) = (r + s ) (13) (r s ) = (r + s ) (14) r (r + s ) = (r + s ) (15) (r + s ) r = (r + s )
LR y GR
LR y GR
Ejemplo (aa + ba )a (b + a) = (a + b )a a (b + a) = (a + b )a (b + a) = (a + b )a (b + a) = (a + b )a (a + b ) = (a + b )(a + b ) = (a + b )+
LR y GR
LR y GR
Teorema: Toda ER denota un lenguaje regular (LR)
Teorema: Todo lenguaje regular denota una expresi on regular.
LR y GR
LR y GR

LR y GR
LR y GR
Aplicaciones
(a) Regular expressions in database applications. (b) Regular expressions in Unix. (c) Regular expressions for searching text. (d) Regular expressions in Perl. (e) Pattern Matching with Regular Expressions. (f) etc.
LR y GR
LR y GR

LR y GR
LR y GR
Ejercicios (1) Eliminar la m axima cantidad de par entesis de las siguientes ERs sin alterar la expresi on:
(a) ((a + ((a + b )a)) + (bb )) (b) (((aa) + (b (bb ))) ((ab )((ab )(a + b ))))
(2) Obtenga ERs para los siguientes enunciados:

(a) {w {a, b } / |w | 4} (b) {w {a, b } / w comienza con b y es de tama no par } (c) {w {a, b , c } / la cantidad de as y/o bs es par } (d) {w {a, b , c } / w no termina con cc }
LR y GR
LR y GR
(3) Simplicar las siguientes ERs sin alterar la expresi on:

(a) a + b + a b + (a + b ) (b) (a + aa) (b + ab ) (c) (a + ab ) (a b + b ) (d) (a + b ) a(a + b ) b (a + b )
(4) Construir AF para cada una de las ERs siguientes:

(a) (ab ) ac (b) (ab ) (ba) (c) (ab a) (ba b ) (d) (a + b ) abb (e) aa + bb
LR y GR
LR y GR
(5) Presente una ER para sentencias formadas desde un alfabeto binario, donde cada sentencia contiene el padron 0110 o 1001 (6) Desarrollar una ER que acepte sentencias de tama no tres o cuatro. (7) Desarrollar una ER que acepte las horas en el formato Hora:Minutos. (8) Desarrollar una ER que acepte dolares de acuerdo con el formato 15,50.
LR y GR

LFA2

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

LFA2

Uploaded by

Copyright:

Available Formats

Lenguajes regulares Aplicaciones de expresiones regulares Ejercicios Lenguajes Formales y Aut omatas

Lenguajes Formales y Aut omatas

Jos e Antonio Rodr guez Melquiades

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

Expresiones y conjuntos regulares

Conjuntos regular Expresi on regular

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

lenguaje mediante un reconocedor.

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

w = 310, 7E + 12 w = +310, 757E 123

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

Ejemplo El lenguaje L = {am b n /m, n 0} = ((a) (b ) ) = a b El lenguaje L = {am b n /m 0, n 1} = a bb = a b +

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

Propiedades en las ERs

Conjuntos regular Expresi on regular

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas

Conjuntos regular Expresi on regular

(8) = (9) = (10) r r = r (11) rr = r r (12) (r + s ) = (r + s ) (13) (r s ) = (r + s ) (14) r (r + s ) = (r + s ) (15) (r + s ) r = (r + s )

Jos e Antonio Rodr guez Melquiades

Lenguajes Formales y Aut omatas