F# で記述されたオープン ソース ライブラリをお勧めできますか?FA の構築と基本的なアルゴリズム (NFA から DFA への変換、FA の最小化など) のジェネリック型を提供します。
3 に答える
私が最初に考えたのは、何度かブログ/執筆/議論/作成された状態機械モナドを使用することです。いくつかの参考文献を以下に示します。
http://fsharpcode.blogspot.com/2008/12/f-state-monad-type-state-state-state-of.html
http://codebetter.com/blogs/matthew.podwysocki/archive/2009/12 /30/much-ado-about-monads-state-edition.aspx
これはあなたが望む翻訳を提供しませんが... 始める場所かもしれません.
すべての要件を満たしているわけではありません。C# にあり、DFA への変換または最小化をサポートしていないようです。少なくとも F# から使用でき、出発点として使用できます。自分で使ったことがないので、その適合性や品質については保証できません。
C# での NFA/DFA の実装も参照してください。
Probably not what you are looking for but a quick and dirty way to get some FA things working would be to write an equivalent context free grammar for your FA then using fsyacc?