Automata keadaan terbatas residual (RFSA, didefinisikan dalam [DLT02]) adalah NFA yang memiliki beberapa fitur bagus yang sama dengan DFA. Secara khusus, selalu ada RFSA berukuran minimum kanonik untuk setiap bahasa reguler, dan bahasa yang dikenali oleh setiap negara bagian dalam RFSA adalah residu, seperti halnya dalam DFA. Namun demikian, dimana status DFA minimum membentuk suatu penambangan dengan semua residu, status RFSA kanonik berada dalam penambangan dengan residual utama; jumlah ini bisa lebih sedikit secara eksponensial, sehingga RFSA bisa jauh lebih ringkas daripada DFA untuk mewakili bahasa biasa.
Namun, saya tidak tahu apakah ada algoritma yang efisien untuk meminimalkan RFSA atau jika ada hasil kekerasan. Apa kompleksitas meminimalkan RFSA?
Dari browsing [BBCF10], sepertinya ini bukan pengetahuan umum. Di satu sisi, saya berharap ini menjadi sulit karena banyak pertanyaan sederhana tentang RFSA seperti "apakah NFA ini RFSA?" sangat sulit, PSPACE-complete dalam hal ini. Di sisi lain, [BHKL09] menunjukkan bahwa RFSA kanonik dapat dipelajari secara efisien dalam model guru Angluin yang memadai minimal [A87], dan secara efisien mempelajari RFSA minimum dan meminimalkan RFSA sepertinya harus sama sulitnya. Namun, sejauh yang saya tahu algoritma [BHKL09] tidak menyiratkan algoritma minimalisasi, karena ukuran contoh-counter tidak dibatasi dan tidak jelas bagaimana menguji RFSA secara efisien untuk kesetaraan untuk mensimulasikan oracle contoh-counter . Menguji dua NFA untuk kesetaraan adalah PSPACE-complete , misalnya.
Referensi
[A87] Angluin, D. (1987). Mempelajari kumpulan reguler dari kueri dan contoh tandingan. Informasi dan Komputasi, 75: 87-106
[BBCF10] Berstel, J., Boasson, L., Carton, O., & Fagnot, I. (2010). Minimalisasi automata. arXiv: 1010.5318 .
[BHKL09] Bollig, B., Habermehl, P., Kern, C., & Leucker, M. (2009). Pembelajaran Angluin-Style of NFA. Di IJCAI , 9: 1004-1009.
[DLT02] Denis, F., Lemay, A., & Terlutte, A. (2002). Automata keadaan terbatas residual. Fundemnta Informaticae , 51 (4): 339-368.