有限自動機庫在F＃中編寫

Question

您能推薦一個用F＃編寫的開源庫，它爲FA構建和基本算法提供了一般類型（NFA到DFA轉換，FA最小化...）？

Answer 1

可能不是你正在尋找的東西，但一個快速和骯髒的方式來獲得一些FA事情的工作將是爲您的FA寫一個等效的上下文無關文法，然後使用fsyacc？

Answer 2

我的第一個想法是使用狀態機monad，它已被多次寫入/寫入/討論/生成，下面有幾個引用。

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

雖然這不會給你你想要的翻譯... 可能是一個起點。

Answer 3

Jolt.NET

它並不能完全滿足您的要求：這是在C＃中，它似乎並不支持翻譯DFA或最小化。至少它可以在F＃中使用，並且可以用作起點。我從來沒有使用過它，所以我不能保證它的適用性或質量。

另請參見NFA/DFA implementation in C#