Duda del material Minimización y clases de equivalencia

Duda del material Minimización y clases de equivalencia

de Rodrigo Javier Suarez Vega -
Número de respuestas: 1

En la solución presentada cuando se esta armando la expresión regular se llega a que el estado poso es:

Xp = (b|aa) ∗abb∗a|Xp(a|b)

y luego:

Xp=(b|aa) ∗abb∗a|(a|b) ∗

Siguiendo otros ejemplos a mi me da que debería ser

Xp=(b|aa) ∗abb∗a(a|b) ∗

Supongo es error de la letra porque no me queda claro el "|" que agregan

Si me fijo en otro material complementario apoya lo que digo :

Y1 = Y1(bb(a | b) | a) | (a | b) 

Y1 = (a | b)(bb(a | b) | a)*

Y3 = Y3(a | b) | (a | b)(bb(a | b) | a)* ba 

Y3 = (a | b)(bb(a | b) | a)* ba(a | b)*

Espero me puedan sacar la duda a la brevedad.

Saludos.


En respuesta a Rodrigo Javier Suarez Vega

Re: Duda del material Minimización y clases de equivalencia

de Santiago Gongora -

Buen día Rodrigo,

tal y como decís, hay un error en ese pasito de la solución.

Lo que se aplica en ese paso es el Lema de Arden en su forma X = X.r | s \Longrightarrow X = s.r^* . En este caso:

  • r = a|b
  • s = (b|aa)^*abb^*a

 por lo que la expresión debería ser (de nuevo, como vos bien decís):

X_p=(b|aa)^* abb^*a (a|b)^*


Cualquier cosa la seguimos.

Saludos,
Santi