hola:
por el teorema de myhill-nerode, R_L(M) = R_M cuando el autómata M es mínimo. si ya calculaste las clases de equivalencia para el autómata mínimo M que reconoce a un lenguaje L, basta con ver si están en la misma clase de RM para contestar si dos tiras se relacionan o no según RL, pues son exactamente la misma relación.
saludos,
d.-