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 que en un DFA. Sin embargo, mientras que los estados mínimos de DFA forman una biyección con todos los residuos, los estados canónicos de RFSA están en biyección con los residuos primarios; puede haber exponencialmente menos de estos, por lo que los RFSA pueden ser mucho más compactos que los DFA para representar lenguajes regulares.
Sin embargo, no puedo decir si hay un algoritmo eficiente para minimizar las RFSA o si hay un resultado de dureza. ¿Cuál es la complejidad de minimizar las RFSA?
Al navegar [BBCF10], no parece que esto sea de conocimiento común. Por un lado, espero que esto sea difícil porque hay muchas preguntas simples sobre las RFSA como "¿es esta NFA una RFSA?" son muy difíciles, PSPACE-complete en este caso. Por otro lado, [BHKL09] muestra que los RFSA canónicos se pueden aprender de manera eficiente en el modelo de maestro mínimamente adecuado de Angluin [A87], y aprender eficientemente un RFSA mínimo y minimizar los RFSA parece que debería ser de igual dificultad. Sin embargo, por lo que puedo decir, el algoritmo de [BHKL09] no implica un algoritmo de minimización, ya que el tamaño de los contraejemplos no está limitado y no está claro cómo probar de manera eficiente la igualdad de los RFSA para simular el oráculo del contraejemplo . Probar dos NFA para la igualdad es PSPACE-complete , por ejemplo.
Referencias
[A87] Angluin, D. (1987). Aprendizaje de conjuntos regulares de consultas y contraejemplos. Información y cálculo, 75: 87-106
[BBCF10] Berstel, J., Boasson, L., Carton, O. y Fagnot, I. (2010). Minimización de autómatas. arXiv: 1010.5318 .
[BHKL09] Bollig, B., Habermehl, P., Kern, C. y Leucker, M. (2009). Aprendizaje al estilo angluin de NFA. En IJCAI , 9: 1004-1009.
[DLT02] Denis, F., Lemay, A. y Terlutte, A. (2002). Autómatas de estado finito residual. Fundemnta Informaticae , 51 (4): 339-368.