Sugerencia: Esta demostración es prácticamente idéntica a la del ejemplo 12.2.8. Sólo tome p y q y demuestre que p q. Del hecho de que A acepta a ...

Sugerencia: Esta demostración es prácticamente idéntica a la del ejemplo 12.2.8. Sólo tome p y q y demuestre que p q. Del hecho de que A acepta a pb p, se puede deducir que A acepta a q b p. Ya que p q, esta cadena no está en L.

a. 0, clases de equivalencia: {s0, s1, s3, s4}, {s2, s5}, {s0, s3}, {s1, s4}, {s2, s5}, {s0, s3}, {s1, s4}, {s2, s5}
b. 1