NFA→DFA変換の不具合

• Auswertung: shimataro
• Verantwortlicher: (Keine)
• Typ: Fehler
• Status: Offen
• Komponente: (Keine)
• Meilenstein: (Keine)
• Priorität: 5 - Mittel
• Schweregrad: 5 - Mittel
• Lösung: Gefixt
• Datei: Keine

Details Antworten

NFAのデフォルト遷移マップ（nfa::m_transition_default）が空でない場合に、正しくDFAに変換できないことがあります。

NFAからDFAへの変換は nfa::build_dfa() で行っていますが、1つの「状態の集合」から複数のデフォルト遷移がある時に正しくDFA用に変換されません（デフォルト遷移がない場合は正しく変換されます）。

なので、今のところはNFAエンジンとして動作しています。

Ticket-Verlauf (1/1 Historien)

2009-01-28 18:46 Aktualisiert von: shimataro

• Lösung Update from Keine to Gefixt

Kommentar Antworten

リビジョン40の最短マッチ対応により、正式にNFAエンジンとして作動することにしました。
これにより、DFAに変換する必要性がなくなったので解決とします。

（解決状況「修正済み」でいいのかな？）