My first thought would be to use the state machine monad, which has be blogged/written/discussed/produced several times, a couple of references are below.
可能不是您正在寻找的东西，但让 FA 工作的一种快速而肮脏的方法是为您的 FA 编写等效的上下文无关语法，然后使用 fsyacc？
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?
It does not fulfil all your requirements: It's in C#, and it does not seem to support translation to DFA or minimization. At least it's usable from F# and could be used as a starting point. I've never used it myself, so I can't vouch for its suitability or quality.
发布评论
评论（3）
我的第一个想法是使用状态机 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
虽然这不会给你你想要的翻译.. 。
可能是一个起点。
My first thought would be to use the state machine monad, which has be blogged/written/discussed/produced several times, a couple of references are below.
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
although this doesn't give you the translations you want...
Might be a place to start.
可能不是您正在寻找的东西，但让 FA 工作的一种快速而肮脏的方法是为您的 FA 编写等效的上下文无关语法，然后使用 fsyacc？
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?
Jolt.NET
它不能满足您的所有要求：它是用C#编写的，并且似乎不支持转换为DFA或最小化。至少它可以在 F# 中使用并且可以用作起点。我自己从未使用过它，所以我不能保证它的适用性或质量。
另请参阅C# 中的 NFA/DFA 实现
Jolt.NET
It does not fulfil all your requirements: It's in C#, and it does not seem to support translation to DFA or minimization. At least it's usable from F# and could be used as a starting point. I've never used it myself, so I can't vouch for its suitability or quality.
See also NFA/DFA implementation in C#