Diferencia entre revisiones de «Práctica 2: Expresiones regulares (Teoría de Lenguajes)»
De Cuba-Wiki
Línea 7: | Línea 7: | ||
*b) D<math>\lambda</math>(10*1) = D<math>\lambda</math>(1).(0*1) = 1.0*1 | *b) D<math>\lambda</math>(10*1) = D<math>\lambda</math>(1).(0*1) = 1.0*1 | ||
*c) D0(10*1) = D0(1).(0*1) = <math>\empty</math>.(0*1) = <math>\empty</math> | *c) D0(10*1) = D0(1).(0*1) = <math>\empty</math>.(0*1) = <math>\empty</math> | ||
*d) Da(ab*|ac|c+) = Da(ab*)|Da(ac)|Da(c+)= Da(a).(b*)|Da(a).c|Da(c).c | *d) Da(ab*|ac|c+) = Da(ab*)|Da(ac)|Da(c+)= Da(a).(b*)|Da(a).c|Da(c).c* = <math>\lambda</math>.b*|<math>\lambda</math>.c|<math>\empty</math>.c* = b*|c | ||
*e) Da(a+ba) = Da(a+).ba = Da(a).a | *e) Da(a+ba) = Da(a+).ba = Da(a).a*.(ba) = <math>\lambda</math>.a*.ba = a*ba | ||
*f) Da(a*ba) = Da(a*).ba | Da(ba) = Da(a).a*.ba | Da(b).a = <math>\lambda</math>.a*ba | <math>\empty</math>.a = a*ba | *f) Da(a*ba) = Da(a*).ba | Da(ba) = Da(a).a*.ba | Da(b).a = <math>\lambda</math>.a*ba | <math>\empty</math>.a = a*ba | ||
*g) D01(0(1|L)|1+) = D01(0(1|L))| D01(1+) = D01(0).(1|L) | D01(1).1 | *g) D01(0(1|L)|1+) = D01(0(1|L))| D01(1+) = D01(0).(1|L) | D01(1).1* = <math>\empty</math>.(1|L) | <math>\empty</math>.1* = <math>\empty</math> | ||
==Ejercicio 03== | ==Ejercicio 03== |
Revisión del 19:48 14 abr 2008
Ejercicio 01
Ejercicio 02
(Revisar)
- a) D1(10*1) = D1(1).(0*1) = .(0*1) = 0*1
- b) D(10*1) = D(1).(0*1) = 1.0*1
- c) D0(10*1) = D0(1).(0*1) = .(0*1) =
- d) Da(ab*|ac|c+) = Da(ab*)|Da(ac)|Da(c+)= Da(a).(b*)|Da(a).c|Da(c).c* = .b*|.c|.c* = b*|c
- e) Da(a+ba) = Da(a+).ba = Da(a).a*.(ba) = .a*.ba = a*ba
- f) Da(a*ba) = Da(a*).ba | Da(ba) = Da(a).a*.ba | Da(b).a = .a*ba | .a = a*ba
- g) D01(0(1|L)|1+) = D01(0(1|L))| D01(1+) = D01(0).(1|L) | D01(1).1* = .(1|L) | .1* =