NFA→DFA変換の不具合

• 报告人: shimataro
• 属主: (无)
• 类型: Bugs
• 状态: 开启
• 组件: (无)
• 里程碑: (无)
• 优先: 5 - Medium
• 严重性: 5 - Medium
• 处理结果: Fixed
• 文件: 无

Details 回复

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

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

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

任务单历史 (1/1 Histories)

2009-01-28 18:46 Updated by: shimataro

• 处理结果 Update from 无 to Fixed

评论 回复

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

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