AFD -> ER con varios estados finales

AFD -> ER con varios estados finales

de Gabriel Rode Docminguez -
Número de respuestas: 1

Para el pasaje de un AFD a una ER se usa el concepto de R_{ij}^k donde i es el estado inicial 

  • En general, j es el estado final?
  • en caso de tener varios estados finales debemos aplicar la formula para cada uno de ellos y unir sus resultados?
  • k debe ser la cantidad de estados del automata?



En respuesta a Gabriel Rode Docminguez

Re: AFD -> ER con varios estados finales

de Juan Jose Prada -

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