3

您能否推荐一个用 F# 编写的开源库，它为 FA 构造和基本算法（NFA 到 DFA 转换、FA 最小化......）提供通用类型？

4

3 回答 3

1

我的第一个想法是使用状态机 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

虽然这并没有给你你想要的翻译......可能是一个开始的地方。

于 2010-09-21T18:10:29.887 回答
0

可能不是您正在寻找的东西，但是让一些 FA 工作正常的快速而肮脏的方法是为您的 FA 编写一个等效的上下文无关语法，然后使用fsyacc？

于 2010-09-14T14:53:34.940 回答
0

Jolt.NET

它不能满足您的所有要求：它使用 C#，并且似乎不支持转换为 DFA 或最小化。至少它可以从 F# 中使用并且可以用作起点。我自己从未使用过它，所以我不能保证它的适用性或质量。

另请参阅C# 中的 NFA/DFA 实现

于 2011-04-10T09:10:23.977 回答