Edición de «Práctica 2: Expresiones regulares (Teoría de Lenguajes)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 2: | Línea 2: | ||
==Ejercicio 01== | ==Ejercicio 01== | ||
==Ejercicio 02== | ==Ejercicio 02== | ||
(Revisar) | (Revisar) | ||
Línea 22: | Línea 10: | ||
*e) Da(a+ba) = Da(a+).ba = Da(a).a*.(ba) = λ.a*.ba = a*ba | *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 | *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 | λ) | 1+) = D01( | *g) D01(0(1|λ)|1+) = D01(0(1|λ))| D01(1+) = D01(0).(1|λ) | D01(1).1* = Ø.(1|λ) | Ø.1* = Ø | ||
==Ejercicio 03== | ==Ejercicio 03== | ||
Línea 30: | Línea 18: | ||
**d00(L0) = d0d0(L0) = d0(L1) = d0(L0|1) = d0(L0)|d0(1) = L1 (...) | **d00(L0) = d0d0(L0) = d0(L1) = d0(L0|1) = d0(L0)|d0(1) = L1 (...) | ||
**d01(L0) = d1d0(L0) = d1(L1) = d1(L0|1) = d1(L0)|d1(1) = L0|λ = L2 (Final) | **d01(L0) = d1d0(L0) = d1(L1) = d1(L0|1) = d1(L0)|d1(1) = L0|λ = L2 (Final) | ||
**d010(L0) = d0d1d0(L0) = d0d1(L1) = d0(L2) = d0(L0|λ) = d0(L0) = | **d010(L0) = d0d1d0(L0) = d0d1(L1) = d0(L2) = d0(L0|λ) = d0(L0) = L2 (...) | ||
**d011(L0) = d1d1d0(L0) = d1d1(L1) = d1(L2) = d1(L0|λ) = d1(L0) = L0 (...) | **d011(L0) = d1d1d0(L0) = d1d1(L1) = d1(L2) = d1(L0|λ) = d1(L0) = L0 (...) | ||
**d100(L0) = d0d0d1(L0) = d0d0(L0) = d0(L1) = d0(L0|1) = d0(L0) = L1 (...) | **d100(L0) = d0d0d1(L0) = d0d0(L0) = d0(L1) = d0(L0|1) = d0(L0) = L1 (...) | ||
Línea 53: | Línea 41: | ||
*2)Armamos el sist. de ecuaciones y despejamos: | *2)Armamos el sist. de ecuaciones y despejamos: | ||
**L1=a.L2|b.L3 = a.L2|b.(a|b)L2 = (a|b(a|b))L2 | **L1=a.L2|b.L3 = a.L2|b.(a|b)L2 = (a|b(a|b))L2 | ||
**L2=a.L1|b.L2|λ = | **L2=a.L1|b.L2|λ = (a|b(a|b))L2|b.L2|λ = ((a|b(a|b))|b).L2|λ =(regla1) = ((a|b(a|b))|b)*|λ = ((a|b(a|b))|b)* | ||
**L3=a.L2|b.L2 = (a|b)L2 | **L3=a.L2|b.L2 = (a|b)L2 | ||
**->L1=(a|b(a|b))( | **->L1=(a|b(a|b))((a|b(a|b))|b)* | ||
==Ejercicio 05== | ==Ejercicio 05== |