Para el pasaje de un AFD a una ER se usa el concepto de R_{ij}^k donde i es el estado inicial
Hola Gabriel.
El concepto de R_{ij}^k es para calcular conjuntos de tiras, que van del estado i al estado j sin pasar por un estado mayor que k
Si tenés i como inicial, j como final y k = |Q| (cantidad de estados del AFD) entonces esas son tiras del lenguaje.
Si hay un único estado final, ese es precisamente el conjunto de tiras que define al lenguaje; si hay más estados finales, entonces deberás unir esos conjuntos.
Ese razonamiento luego se lleva a nivel de ER, tratando de encontrar las ER de cada uno de esos conjuntos.
Te sugiero si acaso luego que reveas las diapositivas de la clase donde se presentó ese tema - en particular las diapositivas 4 y 6 - y repases la filmación de la clase 7 en OpenFing.
Saludos
Juanjo