UTNianos

Buenas, tengo un problemita con este tema.
Veo en muchos ejercicios que dan la tabla de transicion de los automatas y te piden que indiques si las expresiones regulares que te dan corresponden al automata. Mi duda es que en la solucion dicen, la expresion ... es correcta (se puede demostrar haciendo el metodo)
Alguien me puede decir en que consiste ese metodo?
Muchas gracias!

Supongo que se trata del método de conversión de autómata a ER, deben querer que obtengas una ER y la compares con las otras, estaba por el final del libro de Peralta, también lo dan en sintaxis, fijate el doc que dice Del AF al ER http://www.utnianos.com.ar/foro/attachment.php?aid=324