有限状态机 - The mini wiki

Stateflow，是The MathWorks开发的利用状态机和流程图用于对响应系统进行建模的工具。Stateflow使用由David Harel提出的一种有限状态机的图示方式，实现在一个状态图中对结构、平行机制及历史记忆进行表示。此外Stateflow还提供了状态转移表和真值表。

Raft是一种用于替代Paxos的共识机制算法。相比于Paxos，Raft的目标是提供更清晰的逻辑分工使得算法本身能被更好地理解，同时它安全性更高，并能提供一些额外的特性。Raft能为在计算机集群之间部署有限状态机提供一种通用方法，并确保集群内的任意节点在某种状态转换上保持一致。Raft算法的开源实现众多，在Go、C++、Java以及 Scala中都有完整的代码实现。Raft这一名字来源于"Reliable, Replicated, Redundant, And Fault-Tolerant"的首字母缩写。

matplotlib是Python语言及其数值计算库NumPy的绘图函式库。它提供了一个面向对象程序设计的应用程序接口，用于使用通用部件工具箱将绘图嵌入到应用程序中。它还有一个基于有限状态机的过程式编程“pylab”接口，其设计与MATLAB非常类似，但不推荐使用。SciPy使用matplotlib进行图形绘制。

Floyd判圈算法，又称龟兔赛跑算法，是一个可以在有限状态机、迭代函数或者链表上判断是否存在环，求出该环的起点与长度的算法。该算法据高德纳称由美国科学家罗伯特·弗洛伊德发明，但这一算法并没有出现在罗伯特·弗洛伊德公开发表的著作中。

算法状态机方法是设计有限状态机的一种方法。在数字电路设计中，算法状态机图是对时序逻辑电路状态转移的一种图形描述。在功能上，算法状态机图与状态图类似。

Floyd判圈算法，又称龟兔赛跑算法，是一个可以在有限状态机、迭代函数或者链表上判断是否存在环，求出该环的起点与长度的算法。该算法据高德纳称由美国科学家罗伯特·弗洛伊德发明，但这一算法并没有出现在罗伯特·弗洛伊德公开发表的著作中。

理查兹控制器，是使用简单的集成电路和组合逻辑电路来实现一个有限状态机的一种方法。该方法以发明家查尔斯·L·理查兹命名。一个明显的优势是，这种方法相对于传统的有限状态机的设计方法允许更容易地设计复杂的有限状态机相比较于使用状态图、状态转移表和布尔代数所能提供的。使用这项技术可以更容易地实现设计具有成百上千状态的状态机。

在数学和计算机科学中，可识别语言是可被有限状态机识别的形式语言。等价的说，可识别语言是语法关系的商的家族为有限的的形式语言。