Consultas sobre el Práctico 3

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