OSDN -- Develop and Download Open Source Software

Ticket #14476
Ticket List Submit New Ticket RSS

NFA→DFA変換の不具合
Open Date: 2008-12-30 13:56 Last Update: 2009-01-28 18:46

Reporter:
shimataro
Owner:
(None)
Type:
Bugs
Status:
Open
Component:
(None)
MileStone:
(None)
Priority:
5 - Medium
Severity:
5 - Medium
Resolution:
Fixed
File:
None

Details

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

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

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

Ticket History (1/1 Histories)

2009-01-28 18:46 Updated by: shimataro
  • Resolution Update from None to Fixed
Comment
リビジョン40の最短マッチ対応により、正式にNFAエンジンとして作動することにしました。
これにより、DFAに変換する必要性がなくなったので解決とします。

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

Attachment File List

No attachments

Edit

You are not logged in. I you are not logged in, your comment will be treated as an anonymous post. » Login