Ciclo 2014-2 Ingeniera en Sistemas Computacionales

Curso: COMPILADORES Y LENGUAJES DE PROGRAMACIN

Ejercicios de Expresiones regulares y Autmatas Finitos
Fecha de presentacin (Mircoles 15/10/2014)

Para los siguientes enunciados completar segn corresponda: expresin regular y/o definicin de
autmata finito.
1. L
1
={(ab)
m
f(ba)
n
; m y n>=1}

2. L
2
={b
2
c
n
a
2
; n>=2}

3. Tiras conformadas por aes y bes con longitud no mayor que 5.

4. Tiras conformadas por los nmeros en base 4.

5. ((0|1)0)
*
(0|1)
+
1

6.



7. (a+b)
*
(ab)
+


8. L
3
={a
m
cd(ab)
n
; m y n>=0}

9. L
4
={b
n
c
n
a; n>=1}

10. Tiras conformadas por unos y ceros, siempre inician con 0 y siempre terminan con 1.

11. Tiras conformadas por los nmeros en base 2 con longitud no mayor a 4 dgitos.

12. ((|0|1)
+
(0| )
+


0 1 3 4
2
inicio
a, b, c
c
a, b, c
a
b
a, b, c
Ciclo 2014-2 Ingeniera en Sistemas Computacionales
13. (ab|ba)(a|b)*(cd)
+


14.





15. Tiras de longitud par para el alfabeto {a, b, c, d, e}.

16. Para la definicin de identificadores o variables:

<tipo_dato> <letra> (<letra>|<dgito>)* (,<letra> (<letra>|<dgito>)*)*;

<tipo_dato>integer|real|char


17.











18. L
5
={a
m
b
n
c
p
d
q;
m y n>=1; p>=0 ; q>1}

19. L
6
={acbb
2
c
n
a
2
; n>=0}

20. Tiras de caracteres m y n, que van siempre intercalados m con n, inician con una m y
pueden o no terminar con n al final.

A B D E
C
inicio
0,1 0 1
1
0
A B
D
E C
inicio
0,1,2
0,1,2
0,1,2
0
0 1
1
2
2