NFA→DFA変換の不具合

• 報告者: shimataro
• 担当者: (未割り当て)
• チケットの種類: バグ
• 状況: オープン
• コンポーネント: (未割り当て)
• マイルストーン: (未割り当て)
• 優先度: 5 - 中
• 重要度: 5 - 中
• 解決法: 修正済み
• ファイル: なし

詳細 返信

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

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

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

チケットの履歴 (1 件中 1 件表示)

2009-01-28 18:46 更新者: shimataro

• 解決法 が なし から 修正済み に更新されました

コメント 返信

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

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