1
Minimizando los autómatas de estado finito residual
Los autómatas de estado finito residual (RFSA, definidos en [DLT02]) son NFA que tienen algunas características agradables en común con los DFA. En particular, siempre hay un RFSA canónico de tamaño mínimo para cada idioma regular, y el idioma reconocido por cada estado en el RFSA es residual, al igual …