Lenguajes Formales y Autmatas

Boletn de Problemas
Tema 2. Lenguajes Regulares

J.L. Arjona, V.J. Daz, M. Gmez y J.A. Troyano

Departamento de Lenguajes y Sistemas Informticos Escuela Tcnica Superior de Ingeniera Informtica Universidad de Sevilla

(Febrero de 2003)

PROBLEMA 1 Dadas las expresiones regulares = a*+ b* y = ab* + ba* + b*a + (a*b)* a) b) c) d) Encuentre Encuentre Encuentre Encuentre una una una una palabra palabra palabra palabra que que que que encaje con pero no con . encaje con pero no con . encaje con y con . no encaje ni con ni con .

PROBLEMA 2 Encuentre la palabra ms corta que no se encuentre en el lenguaje descrito por la siguiente expresin regular: b*(abb*)*a* PROBLEMA 3 Se dice que una expresin regular es ambigua si una misma palabra puede ser obtenida de dos formas distintas a partir de ella. Determine cul de las siguientes expresiones son ambiguas: a) b) c) d) a*bb* + b*bc* a((ab)*cb*)* + a(abababcb*)*a* aab*(ab)* + ab* + a*bba* aaba* + aaaba + aabba* + a

PROBLEMA 4 Escribe expresiones regulares equivalentes a las siguientes lo ms simplificadas que sea posible: a) b) c) d) * + a* + b* + (a + b)* ((a*b*)*(b*a*)*)* (a*b)* + (b*a)* (a + b)*a(a + b)*

PROBLEMA 5 Escriba expresiones regulares para los siguientes lenguajes: a) b) c) d) e) f) Palabras del alfabeto Palabras del alfabeto Palabras del alfabeto Palabras del alfabeto Palabras del alfabeto Palabras del alfabeto bes consecutivas. g) Palabras del alfabeto h) Palabras del alfabeto i) Palabras del alfabeto = = = = = = {a, {a, {a, {a, {a, {a, b} de longitud par. b} de longitud impar. b} con un nmero par de aes. b} con un nmero impar de aes. b} que no tengan dos aes consecutivas. b} que no tengan ni dos aes consecutivas ni dos

= {a, b} que no tengan tres aes consecutivas. = {a, b, c} que no contengan la subcadena bc. = {a, b, c, d} que no contengan la subcadena bc.

j) Palabras del alfabeto = {a, b} con no ms de tres aes. k) Palabras del alfabeto = {a, b} con exactamente una sola ocurrencia de la subcadena aaa. l) Todas las posibles formas de escribir la palabra reservada MODULO con letras maysculas o minsculas. PROBLEMA 6 Demuestre, apoyndose en el concepto de autmata finito determinista y en las leyes de Morgan, que: a) La complementacin de un lenguaje regular es un lenguaje regular. b) La interseccin de dos lenguajes regulares es un lenguaje regular. PROBLEMA 7 Construya autmatas finitos deterministas para los siguientes lenguajes regulares: a) Palabras del alfabeto = {a, b} que finalicen con b y que no tengan dos bes consecutivas. b) Palabras del alfabeto = {a, b} que finalicen con la subcadena ba. c) Palabras del alfabeto = {a, b} que no tengan dos aes consecutivas. d) Palabras del alfabeto = {a, b} cuya longitud sea mltiplo de cuatro. e) Palabras del alfabeto = {a, b} con un nmero par de aes. f) Palabras del alfabeto = {a, b} con un nmero par de aes y un nmero impar de bes. g) Palabras del alfabeto = {a, b} en las que cada instancia del smbolo a est precedida y seguida de al menos una instancia del smbolo b. h) Palabras del alfabeto = {a, b} que tienen como subcadena la palabra abab. PROBLEMA 8 Obtenga los autmatas finitos no deterministas sin -transiciones (AFND) equivalentes para cada uno de los autmatas finitos no deterministas con -transiciones (-AFND) que figuran a continuacin:

1 0 1 p1,p2 p2 p0 p1 p0 p2 p2 p3 * p3

2 0 1 p1,p2 p0 p1 p1 p3 p2 p3 p2 * p3

PROBLEMA 9 Obtenga el autmata finito determinista (AFD) equivalente a cada uno de los siguientes autmatas finitos no deterministas sin -transiciones (AFND) que figuran a continuacin: 1 1 0 p0 p1,p3 p2,p3 p1 p1 p3 p2 p3 p2 * p3

2 a b p0 p1 p0 p1 p1 p2,p3 * p2 p3 p0

3 a p0 p1 * p1 p4 p2 p1,p2 p3 p1 p4 p4

b p1,p2 p4 p4 p4 p4

c p3 p4 p4 p3 p4

Obtenga, adems, las gramticas regulares por la derecha equivalentes a los autmatas finitos construidos. PROBLEMA 10 Escribe un AFD que acepte el lenguaje de todas aquellas palabras que cumplen simultneamente las siguientes dos condiciones: a) Longitud igual a mltiplo de tres. b) Comenzar con a y terminar con b. PROBLEMA 11 Construye un autmata finito no determinista que acepte todas aquellas palabras del alfabeto = {a, b} que contengan la subcadena ababa, o contengan la subcadena bbbb. PROBLEMA 12 Sea un AFND con un solo estado final que reconoce un determinado lenguaje L. Queremos modificarlo para que acepte el lenguaje L{a}*. a) Plantea un AFND que demuestre que aadiendo simplemente una a-transicin desde el estado final a l mismo no siempre se consigue esto. b) Cmo se podra modifica el autmata para que se consiga reconocer L{a}*? PROBLEMA 13 Las expresiones regulares clsicas se definen mediante las operaciones unin, concatenacin y clausura. Sin embargo, es posible aadir nuevas operaciones como por ejemplo las siguientes: es una expresin regular que representa el lenguaje de todas las palabras que no forman parte del lenguaje descrito por la expresin regular . es una expresin regular que representa el lenguaje de todas las palabras que encajan en la expresin regular y tambin en la expresin regular .

El hecho de incluir estas nuevas operaciones no ampla el poder descriptivo de las expresiones regulares pero en algunas situaciones puede llegar a sustituir la potencia expresiva de otros operadores. Apoyndose en los nuevos operadores introducidos describa, sin usar las operaciones + ni *, los siguientes lenguajes sobre el alfabeto = {a, b}: a) Todas las palabras que se pueden construir con dicho alfabeto. b) Palabras que no contengan dos aes consecutivas. c) Palabras que no contengan dos aes consecutivas o palabras que no contengan dos bes consecutivas. PROBLEMA 14 Dadas las parejas de autmatas finitos de la figura, justifique que parejas de autmatas reconocen exactamente el mismo lenguaje.
a
b a a b

a)

a a,b

b)
b

a,b

c)

a b

d)

a b

e)