Sintaxis y Semntica de Lenguajes I.S.

I - UTN
Expresiones Regulares AF- AFD 2010

Pgina 1 de 3

GUA DE TRABAJOS PRCTICOS
TEMAS: EXPRESIOES REGULARES Y AF-AFD


1) Encontrar una expresin regular que defina todas las cadenas de 0s y 1s de longitud mayor
o igual que 1.

2) Dar el significado de la expresin regular (a+b)*a.

3) Encontrar una expresin regular para el lenguaje {a,b}* en el que inmediatamente antes de
toda b aparece una a.

4) Sea L un lenguaje definido sobre un alfabeto = {a,b} formado por las palabras que tienen
un nmero impar de smbolos a y como mximo dos smbolos b consecutivos.
Ejemplos vlidos: a, aaba, aaabbaba, babbabbab
Ejemplos no vlidos: , aabbba, bb, abbabbaba
Encontrar la expresin regular que denote el lenguaje L.

5) Obtener una expresin regular para el lenguaje L en el alfabeto {a,b,c}, tal que las palabras
pertenecientes a L poseen exactamente una vez dos a contiguas. Por ejemplo, las palabras
aabb, cabaa L y caba, ccaaabb L.

6) Encontrar expresiones regulares que representen los siguientes lenguajes,
a) Conjunto de palabras en {0,1} que finalicen en 11.
b) Conjunto de palabras en {0,1} que contengan 3 ceros consecutivos. Por ejemplo
00011000, 100000.
c) El lenguaje {aba, bbba}.
d) Conjunto de palabra de {a,b} que no tienen dos a consecutivas.
e) Lenguaje sobre {a,b} donde todas las palabras son de longitud impar.
f) Lenguaje sobre el alfabeto {0, 1, a, b}, cuyas cadenas comienzan y finalizan con una
letra (a o b) pero slo pueden contener dgitos en el medio (0 o 1).

7) Modelar mediante una ER, el lenguaje de todas las secuencias no vacas que se pueden
formar con signos ms y letras maysculas respetando las dos condiciones siguientes:
No habr dos signos ms consecutivos
Ni tampoco dos letras consecutivas
Por ejemplo es vlido +U+J+I

8) Qu lenguajes representan las siguientes expresiones regulares?
a) 0 (0|1)* 0
b) (0|1)* 0 (0|1) (0|1)
c) 0* 1 0* 1 0* 1 0*
d) (00|11)* ( (01|10)(00|11)* (01|10)(00|11)* )*

9) Encontrar una ER para el lenguaje que resulta de la unin de los siguientes lenguajes:
lenguaje que contiene a todas las cadenas que se pueden formar con dgitos 0, 1, de tal
forma que las cadenas representen a las potencias de 2 en binario,
lenguaje que inicia con una secuencia de 1 (secuencia no vacas), es seguida por cero,
uno o tres ceros, y finaliza con otra secuencia de 1, pudiendo esta ltima ser vaca.

Sintaxis y Semntica de Lenguajes I.S.I - UTN
Expresiones Regulares AF- AFD 2010

Pgina 2 de 3
10) Dada la siguiente expresin regular
a * (ab | ba)* (a | b) | a (b | a) *
a) Indicar si las siguientes cadenas pertenecen al lenguaje. Justificar
aba ababb bbaaa aaab babba abbab

11) Dado el siguiente alfabeto A= {a, b} y el siguiente lenguaje L definido por la
expresin regular
aba (ab| ba)* b

a) Cul es la cadena de menor longitud que pertenece al lenguaje. Justifique.
b) D las cadenas de menor longitud que contienen 5 smbolos 'b'.
c) Cuntas cadenas distintas tiene el lenguaje.
d) Cul es la longitud de la cadena ms larga que pertenece al lenguaje, si es que esta
puede determinarse. Justifique la respuesta.
e) Defina la expresin regular correspondiente al siguiente lenguaje L'. L' est incluido en
L y cada cadena de L' tiene una cantidad par de smbolos 'b'. Es decir, toda cadena de
L' es una cadena que tiene una cantidad par de 'b' y es una cadena de L. Observar que
existen cadenas en L que no pertenecen a L'.

12) Obtener la expresin regular del lenguaje reconocido por el siguiente autmata

a b
-> p s s
*s s s



13) Encontrar las expresiones regulares del los lenguajes aceptados por cada uno de los
siguientes autmatas (utilizar el mtodo de eliminacin de estados):
a) AF1 = ({a, b}, {A, B, C}, f
1
, A, {C})
f
1
a b
->A C A
B B A
*C C B

b) AF2 = ({a, b}, {A, B, C, D}, f
2
, A ,{D})

f
2
a b
->A B D
B B C
C D B
*D D B

14) Obtener la expresin regular, correspondiente al siguiente AFD. Utilizar el mtodo de
eliminacin de estados.
p s
a,b
a,b
Sintaxis y Semntica de Lenguajes I.S.I - UTN
Expresiones Regulares AF- AFD 2010

Pgina 3 de 3

15) Convertir el siguiente AFD en una expresin regular, usando la tcnica de
eliminacin de estados:

f 0 1
->* q
1
q
4
q
1

q
2
q
1
q
4

q
3
q
3
q
2

q
4
q
2
q
3



16) Dado el siguiente AFD que acepta el lenguaje L, encontrar la expresin regular que
representa el mimo lenguaje. (Utilizar el mtodo de eliminacin de estados).



17) Dada la siguiente expresin regular ER = a(a|b)*c(cc)*
a) Definir coloquialmente el lenguaje L definido por la ER.
b) Construir el AFN- que acepte el lenguaje L(ER)

18) Dada la siguiente expresin regular
ER = 10* + ( + 0)
Construir el AFN- que acepte el lenguaje L(ER), empleando la metodologa estudiada en
clase.

19) Disear un Autmata Finito Determinstico para cada una de las siguientes expresiones, de
forma que el lenguaje de la expresin sea reconocido por su correspondiente autmata
a) ab*c
b) a (bc)* bc
c) a*b(c*a)*
d) cb* | aa*
e) b (a|b)* | cb*
f) a | ac(a | b)* | c(a|b|c)*
b