finite-automata - 需要 FSM 框架

Question

请推荐有限状态机创建和模拟的框架。我知道 Matlab 中的 Stateflow 包，但是还有其他好的选择吗？它不应该只是Matlab。Java、R 或 Python 上的框架也可以。

我基本上想做的是为二进制序列预测问题进化自动机，如本文所示

谢谢。

Answer 1

考虑一下拉格尔。它有手册和大量示例；我发现文档优于AT&T Research 的 FSM 工具（由几个联机帮助页和稀疏示例组成）。