Buenas,
No me queda claro como es que proceden para despejar el sistema de ecuaciones ya que en mi caso me queda el siguiente sistema que no se cómo resolver:
- X1 = X1a | X2aa | a
- X2 = X2(b|ab) | X1b
Desde ya muchas gracias.
Saludos,
Octavio
[Julio 2014, Ej.4)b] Duda sobre las ecuaciones para hallar las clases de equivalencia
Número de respuestas: 2
En respuesta a Octavio Perez Kempner
Re: TeoLeng: [Julio 2014, Ej.4)b] Duda sobre las ecuaciones para hallar las clases de equivalencia
de Diego Garat -
hola:
como cualquier sistema de ecuaciones, podés sustituir y despejar con variables:
X1 = X1a | X2aa | a
X2 = X2(b|ab) | X1b
para X2:
r=(b|ab), s=X1b,
luego
X2=sr*= X1.b.(b|ab)*
sustituyo en X1
X1= X1a | X1.b.(b|ab)* aa | a
ahora
r = a | b.(b|ab)* aa
s=a
luego X1= a (a | b.(b|ab)* aa)*
saludos,
d.-
como cualquier sistema de ecuaciones, podés sustituir y despejar con variables:
X1 = X1a | X2aa | a
X2 = X2(b|ab) | X1b
para X2:
r=(b|ab), s=X1b,
luego
X2=sr*= X1.b.(b|ab)*
sustituyo en X1
X1= X1a | X1.b.(b|ab)* aa | a
ahora
r = a | b.(b|ab)* aa
s=a
luego X1= a (a | b.(b|ab)* aa)*
saludos,
d.-
En respuesta a Diego Garat
Re: TeoLeng: [Julio 2014, Ej.4)b] Duda sobre las ecuaciones para hallar las clases de equivalencia
Muchísimas gracias, como en el enunciado del lema de Arden señala que s y r son expresiones regulares no me quedaba tan claro que pudiera aplicarlo sobre variables (aunque ahora que lo confirmás parece evidente ya que en efecto dichas variables son expresiones regulares)...
Saludos,
Octavio
Saludos,
Octavio