El c en cualquier caso en lugar de (0*1*)* sería 0*+1*, el otro * está demás, porque no era (0c+1c)c. El libro no tiene muchos ejemplos, eso lo aprendí mirando las resoluciones de los finales.

Los que me habían salido los hice pensando así, si siempre se quitara el + y concatenara ninguna respuesta tendría +. El + significa "ó" , v, es una opción, si tu autómata termina en C, y para ir desde A a C tenes que pasar por B, no es una opción y por eso se concatena, pero una vez en B, es opcional regresar a A, el unico camino obligatorio es el q lleva al final.
Probá con el i, ii, y iv del ejercicio 39 de la página 397 del libro que tienen la respuesta en la página 489 para verificar. El iii no tiene respuesta pero acá lo resolvió gonza porque no me salía http://www.utnianos.com.ar/foro/showthread.php?tid=4121
Yo también lo estoy terminando de aprender a un día del final xD En clase vimos solo un autómata de ejemplo.

gracias, ahora mismo me pongo a leerlo.

me hiciste pensar algo:

es c = (0*1*)* porque c = 0c + 1c + lambda entonces c = 0* + 1* + lambda, hago desaparecer a lambda haciendo a= (0* +1*)*
lo que es logico, po rejemplo si a = 1b + lambda entonces a = (1b)* asi considero la palabra bacia porque si solo lo desaparezco quedaria
a = 1b y no se estaria considerando la palabra vacia.

cuando hiciste esto

c=(0+1)*+lamda = (0+1)*

bajo q criterio desaparece lambda?

El * no se pone por el lamda, aparece por el c, ya que si tenemos por ejemplo:

c=1c

Significa que desde c sale una arista que va a c, asi que es un bucle, y como es un bucle se puede pasar por el infinitas veces antes de cambiar de estado con otra arista (si la hay), por eso al 1 se le pone la clausura de kleene, que es el asterisco.
En el libro aparece eso (página 376):
R2.2)p---a--->q y p---b---r-> es p=aq v br

R2.3) p--a->p es p=ap o p=a*

R2.4)p--a->p y p---b-->q es p=a* v bq o p=a*bq (agregué una b porque en el libro se olvidaron de ponerla)

El porqué se puede poner c= (0v1)c en lugar de c=0c v 1c se justifica por la regla que dice que la concatenacion es distributiva con respecto de la unión (pero la unión no es distributiva con respecto de la concatenación)está en la página348, propiedad 6, para lenguajes, pero con palabras funciona igual ya que en la concatenación de lenguajes lo que se concatena son las palabras de esos lenguajes.

El lamda, por lo que veo, se pone en los estados finales, y creo que en c=(0+1)*+lamda desaparece por concatenarse: c=(0+1)*lamda= (0+1)*
Antes pensaba que desaparecía siempre sólo porque sí, (ya que en los ejercicios que vi en los finales resueltos, desaparecía y no mostraban porqué), pero viendo lo que me explicó gonza acá http://www.utnianos.com.ar/foro/showthre...9#pid61229 , me parece que la explicación que más se ajusta es que desaparezca por ser neutro en la concatenación.

El lamba se agrega en la ecuacion por ser estado final
y si, desaparece en la concatenacion