TinyFSM TinyFSM是一个简单的C ++有限状态机库，旨在实现最佳性能和低内存占用。 这使其成为实时操作系统的理想选择。 这个概念非常简单，使程序员可以完全了解幕后发生的事情。 它提供了一种将状态机图表映射到源代码的简单方法。 TinyFSM基本上将事件分派包装到函数调用中，使事件分派同样快地调用（甚至内联）函数。 即使在最坏的情况下，调度也只会导致单个vtable查找和函数调用！ 主要特征： 进/出动作 事件动作 过渡功能 过渡条件 事件有效负载（类） 状态和动作函数的继承 TinyFSM受益于C ++ 11模板元编程功能（如可变参数模板），并且不依赖于RTTI，异常或任何外部库。 官方主页： ： 当前版本： 0.3.2 文献资料 您可以在TinyFSM项目的doc/目录中找到主要文档。 最新版本也可。 安装 TinyFSM是仅标头的库，不需要特殊的安装步骤。

行为树 这个C ++ 14库提供了一个创建BehaviorTrees的框架。 它设计灵活，易于使用，ReactSwift。 即使我们的主要用例是机器人技术，您也可以使用此库来构建游戏的AI或替换应用程序中的有限状态机。 与其他实现相比，很少有功能可以使BehaviorTree.CPP变得唯一： 它使异步Action （即非阻塞）成为一等公民。 您可以构建可同时执行多个操作的React式行为。 树是使用域特定脚本脚本语言（基于XML）定义的，并且可以在运行时加载。 换句话说，即使使用C ++编写，树也不是硬编码的。 您可以静态链接自定义TreeNode或将其转换为可在运行时加载的插件。 它提供了一种类型安全且灵活的机制来在树的节点之间进行数据流。 它包括一个日志记录/概要分析基础结构，该基础结构使用户可以可视化，记录，重放和分析状态转换。 最后但并非最不重要的一点：有！

状态机演示程序。开始时，开始按钮点亮，点击下一步，表示状态的布尔灯顺序点亮，点击下一步，按照状态三、二、一变化。

State Machine Replication is More Expensive than Consensus.pdf Consensus and State Machine Replication (SMR) are generally considered to be equivalent problems. In certain system models, indeed, the two problems are computationally equivalent: any solution to the former problem leads to a solution to the latter, and vice versa. In this paper, we study the relation between consensus and SMR from a complexity perspective.

Towards Low Latency State Machine Replication for Uncivil Wide-area Networks.pdf We consider the problem of building state machines in a multi-site environment in which there is lack of trust between sites, but not within a site. This system model recognizes the fact that if a server is attacked, then there are larger issues at play than simply masking the failure of the server. We describe the design principles of a low-latency Byzantine state machine protocol, called RAM

DSMA - The Database State Machine Approach

c语言实现的状态机，可以在各种复杂状态切换时使用。状态机源码简单易懂，非常实用，很好。框架可以自定义修改

LabVIEW中的JKI State Machine是一种简单易用、功能强大的状态机模板。JKI State Machine是由JKI维护的一个开源项目。 JKI状态机是Labview中使用非常广泛的编程架构，JKI状态机中三个核心的编写规则。这些规则可以用到以后所有设计架构中！ 1. 事件中只触发进入Macro Case，不做任何数据处理； 2. Macro中处理后续处理的所有逻辑Case； 3. Case中只处理具体的操作和数据处理，不进行任何状态跳转。

JKI SMO： 1、习惯了使用JKI State Machine； 2、JKI State Machine 是单进程的，无法处理多任务并发系统； 3、对OOP知之甚少，绕过OOP设计的复杂性。

Robert C. Martin做了两个自动产生FSM代码的工具，for java和for C++各一个。这个工具的输入是纯文本的状态机描述，自动产生符合State Pattern的代码，这样developer的工作只需要维护状态机的文本描述，没必要冒引入bug的风险去维护code。