hola:
para complementar un poco la respuesta (sobre algo que no se preguntó :-D):
aunque el autómata no fuese mínimo, también se podrían extraer conclusiones según el lugar a donde lleguen las tiras al ser procesadas. RM es siempre un refinamiento de RL, con lo que, hablando mal y pronto, si sigma* fuese una torta y RM y RL dos formas de cortarla, cada pedazo que define RL está compuesto por uno o más pedacitos de RM.
esto nos permite decir que, si dos tiras llegan al mismo estado ---pertenecen a la misma clase de RM--- seguramente pertenezcan a la misma clase de RL. ahora, si llegan a estados distintos no podemos decir nada, porque sus respectivas clases RM pueden estar "juntas" en RL. de hecho, es lo que se hace en el algoritmo de minimización: juntar estados "iguales" es lo mismo que decir "ambos son partes de la misma clase de RL".
saludos,
d.-