Universidad Iberoamericana (UNIBE)

Prof. Rhina Familia

Kilson Jimnez 12-0639 Janny Luz Prez 11-1178 Silvia Nathaly Rodrguez 11-1165

Los lenguajes regulares se llaman as porque sus palabras contienen regularidades o repeticiones de los mismos componentes, como por ejemplo en el lenguaje L1 siguiente: L1 = {ab, abab, ababab, abababab, . . .}

Un lenguaje L es regular si y solo si se cumple al menos una de las condiciones siguientes:

Sea el lenguaje L de palabras formadas por a y b, pero que empiezan con a, como aab, ab, a, abaa, etc. Probar que este lenguaje es regular, y dar una expresion de conjuntos que lo represente.

Una expresin regular es una forma de representar a los lenguajes regulares (finitos o infinitos) y se construye utilizando caracteres del alfabeto sobre el cual se define el lenguaje. Ms especficamente, las expresiones regulares se construyen utilizando los operadores unin, concatenacin y clausura de Kleene.

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

Por ejemplo, la ER representa el conjunto vaco {}. Una palabra de una letra como a empata con una ER consistente en la misma letra a, b empata b, etc.

Ejemplo, la equivalencia R + S = S + R quiere decir que la suma de expresiones, regulares es conmutativa, por lo que si tenemos dos ER especcas, como a y bab, entonces la ER a+bab ser equivalente a la ER bab+a, y ambas representarn las mismas palabras.

Unautmata finito(AF) omquina de estado finitoes unmodelo computacionalque realizacmputos en forma automtica sobre unaentrada para producir unasalida.

Formalmente, un autmata finito es una 5-tupla(Q, ,q0, ,F) donde:6 es un conjunto finito deestados; es unalfabetofinito; es el estado inicial; es unafuncin de transicin; es un conjunto de estados finales o de aceptacin

Unautmata finito determinista(abreviadoAFD) es un autmata finitoque adems es un sistema determinista; es decir, para cada estado en que se encuentre el autmata, y con cualquier smbolo del alfabeto ledo, existe siempre a lo ms una transicin posible desde ese estado y con ese smbolo.

Dos expresiones regulares r y s son equivalentes si describen el mismo lenguaje, es decir, L(r) = L(s). A partir de la definicin de equivalencia podemos comprobar las siguientes propiedades:

Tres modelos para expresar lenguajes regulares

La prueba de que si un lenguaje es regular entonces es aceptado por un AF consiste en dar un procedimiento para transformar en forma sistemtica una expresin regular en un autmata finito que acepte su lenguaje. Dicho procedimiento se describe a continuacin: La idea es hacer una transformacin gradual que vaya convirtiendo la ER en AF. Los AFN son un subconjunto propio de las GT, puesto que las palabras en las etiquetas de un AFN pueden ser vistas como expresiones regulares que se representan a si mismas. Ahora procederemos a describir transformacin de ER a AFN. el procedimiento de

A partir de una ER es trivial obtener una GT que acepte el mismo lenguaje. En efecto, sea R una ER; entonces, si G1 = ({q0, q1},, {(q0,R, q1)}, q0, {q1}) entonces L(G) = L(R).

Obtener la ER equivalente al siguiente AFD:

La expresin regular buscada es:

La prueba de la parte si del teorema consiste en dar un procedimiento para transformar en forma sistemtica un autmata finito en una expresin regular equivalente. Un procedimiento para hacerlo consiste en ir eliminando gradualmente nodos de una GT, que inicialmente es el AFN que se quiere transformar, hasta que nicamente queden un nodo inicial y un nodo final.

1)

Nota: El ejemplo se realizara en la pizarra

Pasos:

Ventajas:

Mtodo mecnico que permite obtener la expresin regular Aunque hemos supuesto AFD, es vlido para AFND y AFND- Implementacin recursiva

Desventajas:

La aplicacin del mtodo es costosa ( n3 expresiones para un autmata con n estados) La longitud de las expresiones puede crecer en un factor 4 en cada paso expresin regular del orden de 4n smbolos si no se simplifica Implementacin recursiva calcular repetidas veces una misma expresin regular (p.e. rk-1 kk en el paso i-simo)

Una gramtica es un conjunto de reglas para formar correctamente las frases de un lenguaje. La formalizacin que presentaremos de la nocin de gramtica es debida a N. Chomsky, y est basada en las llamadas reglas gramaticales.
Las

reglas de una gramtica pueden ser vistas como reglas de reemplazo.

Son gran ticas cuyas reglas son de la forma A aB o bien A a, donde A y B son variables, y a es un carcter terminal.

Una gramtica regular es un cudruplo (V,,R, S) en donde:

V es un alfabeto de variables, es un alfabeto de constantes, R, el conjunto de reglas, es un subconjunto finito de V (V [ ). S, el smbolo inicial, es un elemento de V .

Dicho de otra manera, una palabra w * es derivable a partir de G si S denota la cerradura reflexiva y transitiva de .

w, donde

El lenguaje generado por una gramtica G, L(G), es igual al conjunto de las palabras derivables a partir de su smbolo inicial.

Teorema.- La clase de los lenguajes generados por alguna gramtica regular es exactamente la de los lenguajes regulares.

Los AF estn limitados a los estados de que disponen como nico medio para recordar la serie de smbolos recibidos hasta un momento dado. Por lo mismo, varias secuencias distintas de caracteres que llevan a un mismo estado son consideradas como indistinguibles.

Referencias

http://virtual.unibe.edu.do/file.php?file=%2F712%2FRamon.Brena.-.Automatas.y.Lenguajes_-_By_Santirub.