用 F# 编写的有限自动机库 [关闭]

【问题标题】：Finite Automata Library written in F# [closed]用 F# 编写的有限自动机库 [关闭]
【发布时间】：2011-04-01 00:08:15
【问题描述】：

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

【问题讨论】：

标签： f# dfa nfa

【解决方案1】：

我的第一个想法是使用状态机 monad，它已经在博客/撰写/讨论/制作过几次，下面是几个参考。

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

【讨论】：

【解决方案2】：

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

【讨论】：

【解决方案3】：

Jolt.NET

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

【讨论】：