Ejercicio 2

 

Ejercicio 2

q0 = aq1

q1 = aq3λ | bq2

q2 = cq2 | bq3λ

q3 = cq4 | λ

q4 = bq4 | aq3λ

 

 

 

q0 = aq1

q1 = aq3 + bq2

q2 = c* + bq3        ↑

q3 = cq4

q4 = b* + aq3

 

q4 = b* + aq3

q3 = c(b* + aq3)     →   c (b* + a)*

q2 = c* + b(c(b* + a)*)

q1 = a (c(b* + a)*) + b (c* +b (c(b* + a)*))

q0 = a (c(b* + a)*) + b (c* + b(c(b* + a)*))

q0 = b (c* + (b + a)(c(b*+a)*))  →     E. R