有限状态机（英語：finite-state machine，縮寫：FSM）又稱有限状态自动机（英語：finite-state automaton，縮寫：FSA），简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学计算模型。 状态存储关于过去的信息，就是说：它反映从系统开始到现在时...

在计算理论中，摩尔型有限状态机（英語：Moore machine）是指输出只由当前的状态所确定的有限状态自动机。摩尔型有限状态机的状态图对每个状态包含一个输出信号，相对于米利型有限状态机，它映射机器中的“转移”到输出。 摩尔型有限状态机的名字来自它的提出者，写了《Gedanken-experiments...

在计算理论中，米利型有限状态机（英語：Mealy machine）是基于它的当前状态和输入生成输出的有限状态自动机（更精确的叫有限状态变换器）。这意味着它的状态图将为每个转移边包括输入和输出二者。与输出只依赖于机器当前状态的摩尔有限状态机不同，它的输出与当前状态和输入都有关。但是对于每个米利机都有一个等价的摩尔机...

在计算理论中，确定有限状态自动机或确定有限自动机（英語：deterministic finite automaton, DFA）是一个能实现状态转移的自动机。对于一个给定的属于该自动机的状态和一个属于该自动机字母表 Σ {\displaystyle \Sigma }...

算法状态机（英語：Algorithmic State Machine，縮寫：ASM）方法是设计有限状态机的一种方法。在数字电路设计中，算法状态机图是对时序逻辑状态转移的一种图形描述。在功能上，算法状态机图与状态图类似。:516 在外觀上，算法狀態機圖與計算機程序設計的流程圖使用了相當類似的圖形符號，...

在计算理论中，非确定有限状态自动机或非确定有限自动机（NFA）是对每个状态和输入符号对可以有多个可能的下一个状态的有限状态自动机。这区别于确定有限状态自动机（DFA），它的下一个可能状态是唯一确定的。尽管DFA和NFA有不同的定义，在形式理论中可以证明它们是等价的；就是说，对于任何给定NFA，都可...

状态器是有限状态自动机的图形表示。另一种可能的表示是状态转移表。状态图有很多形式，它们有稍微的差异并有不同的语义。 有限状态自动机的状态图是由下列元素構成的有向图： 状态Q 表示为其中标记着唯一性指示符号或字的圆圈的顶点的有限集合（Booth（1967）p. 69, Hopcroft与Ullman（1979）p...

在自动机理论和时序逻辑中，状态转移表是展示有限半自动机或有限状态自动机基于当前状态和其他输入，要移动到什么状态（或在非确定有限状态自动机情况下那些状态）的表格。“状态表”本质上是其中某些输入是当前状态，而输出包含与其他输出在一起的下一个状态的真值表。 状态表是指定“状态机”的多种方式之一，其他方式包括状态图，和“特征等式”。...

自动机编程（英語：Automata-based programming）是編程範式中的一種，是指程式或其中的部份是以有限狀態機（FSM）為模型的程式，有些程式則會用其他型式（也更複雜）的自動機為其模型。 有限狀態機編程（英語：FSM-based programming）大致上等同於自动机编程，但有限狀態機編程專指以有限狀態機為模型的程式。...

在自动机理论（计算机科学的一个分支）中，确定有限状态自动机最小化是将给定的确定有限状态自动机（DFA, Deterministic Finite Automaton）改造为等价且拥有最少状态的DFA的过程。这里，两个DFA等价意味着他们识别相同的正则语言。各自动机理论的教材中，已经给出了若干已知的最小化算法。...

机的次序列出： 计数器机——最原始和精简的模型。缺乏间接寻址。指令在按照哈佛结构的有限状态机内。 指针机——计数器机和RAM模型的混合。比这两个模型更少共通更多抽象。指令在按照哈佛结构的有限状态机内。 随机存取机（RAM）——带有间接寻址和通常扩充的指令集。指令在按照哈佛结构的有限状态机内。...

在理论计算机科学中，自动机理论是对抽象机和它们能解决的问题的研究。自动机理论密切关联于形式语言理论，因为自动机经常按它们所能识别的形式语言类来分类。 自动机是有限状态机（FSM）的数学模型。FSM是给定符号输入，依据（可表达为一个表格的）转移函数“跳转”过一系列状态的一种机器。在常见的FSM的“米利型有限...

在计算机科学领域，状态机复制是实现容错服务的一种常规方法，主要通过复制服务器，并协调客户端和这些服务器镜像间的交互来达到目标。这个方法也同时提供了理解和设计复制管理协议的一套基本框架。 分布式软件通常由客户端和服务器组成，每个服务包含一到多个服务器，并提供可以由客户端通过请求来调用的操作。尽管使用...

状态迁移上的标签记号。 变迁系统在数学定义上和有向图一致，但与有限状态自动机有一定不同。 变迁系统的特点有： 系统状态的集合不一定是有限的或可数的； 状态迁移的集合不一定是有限的或可数的； 变迁系统并不需要给出“开始”状态或“最终”状态； 变迁系统可以表示为有向图，有限状态自动机则不能。 操作语义学...

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

在数学和计算机科学中，可识别语言是可被有限状态机识别的形式语言。等价的说，可识别语言是语法关系的商的家族为有限的的形式语言。 给定一个幺半群 M，在 M 上的语言简单的是子集 L ⊂ M {\displaystyle L\subset M} 。这样的语言被称为在 M 上可识别的，如果有在 M 上的有限状态机接受...

状态有关。這跟組合邏輯電路相反，組合邏輯的輸出只會跟目前的輸入成一種函數關係。換句話說，时序邏輯擁有儲存元件（記憶體）来存储信息，而組合邏輯則没有。 從时序邏輯電路中，可以建出兩種形式的有限狀態機： 摩尔型有限状态机：輸出只跟內部的狀態有關。（因為內部的狀態...

加上一個計數器的非确定有限状态自动机 加上一個計數器的确定有限状态自动机 沒有計數器或堆栈的确定型或非确定型有限状态机 針對第一個或是最後一個，有限状态机可以是确定型，也可以是非确定型。前二者及最後一個是依喬姆斯基譜系排列。 上述的第一種有限状态机，也就是有二個計數器的有限状态机，其計算能力和图灵机等效。 網頁計數器（英语：web...

有限狀態VQ（Finite state vector quantization, FSVQ）是有記憶性的VQ（Vector quantization, VQ），它可以用一個有限狀態機（Finite-state machine）來描述，其中每一個狀態各代表一個分開的VQ編碼簿。 有限狀態VQ與分類VQ（Classified...

现代的自动售货机的内部控制系统采用VHDL描述语言，用有限状态机进行系统状态描述，通电复位后系统自动初始化，根据外界输入的信号转换不同的状态（如投币状态、销售状态、找零状态）。 自动售货机的通信方式有多种，可以是通过互联网传输信息，也可以通过GSM/GPRS方式进行无线通信。 大多數現代的自動販賣機...

000等都将在这个字母表的Kleene闭包中（这里的ε表示空串）。 字母表在形式语言、自动机和半自动机理论中相當重要。自动机如确定有限状态自动机（DFA）要求在形式定义中有字母表。 如果L是一种形式化语言，即一个（可能是无限的）有限长度字符串的集合，那么L的字母表就是L的任何字符串中出现的所有符号的集合。例如...

存储/标识要执行的当前指令的状态寄存器。这个寄存器是有限的并独立于上述寄存器；所以计数器机模型是哈佛结构的例子 标定的、顺序指令的列表: 指令 I0 ... Im 的有限列表。程序存储(有限状态机的指令)不在与寄存器同一个物理空间中。通常但不总是，像计算机...

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

当状态集合Q是有限集合（不是必须的!）的时候，半自动机可以被认为是确定有限自动机 ( Q , Σ , T , q 0 , A ) {\displaystyle (Q,\Sigma ,T,q_{0},A)} ，但是没有“初始状态” q 0 {\displaystyle q_{0}} 或“接受状态...

在最早的敘述中，監督控制理論考慮其系統以及規劃可以用任何形式語言來建模，不一定要是有限状态机產生的正则语言，不過後來的論文中大多是以有限状态机產生的正则语言來建模。 監督控制 離散事件動態系統（DEDS） 布林微分（英语：Boolean differential...

Algorithm)，是一个可以在有限状态机、迭代函数或者链表上判断是否存在环，求出该环的起点与长度的算法。该算法据高德纳称由美国科学家罗伯特·弗洛伊德发明，但这一算法并没有出现在罗伯特·弗洛伊德公开发表的著作中[1]（页面存档备份，存于互联网档案馆）。 如果有限状态机...

在自动机理论中，确定下推自动机（英語：Deterministic pushdown automaton，縮寫：DPDA）是可以使用了持有数据的栈的确定有限状态自动机。术语“下推”来自原型机械自动机物理上接触穿孔卡片来阅读其内容的下推动作。术语“确定下推自动机”当前指称识别确定上下文无关语言的抽象计算设备。...

狀態模式是一种行為類型的软件设计模式，它可以讓物件在其内部狀態有變化時，改為其行為。这种模式有點像有限状态机的概念。狀態模式可以被當成成一種策略模式，它能够在調用模式介面中所定義的方法来切換策略。 计算机编程中，狀態模式用於，當同一物件基於其內部狀態而有不同行為，將其行為進行封裝。對於物件来说，这...

正则语言又称正规语言是满足下述相互等价的一组条件的一类形式语言： 可被确定有限状态自动机识别； 可被非确定有限状态自动机识别； 可被只读图灵机识别； 可用正则表达式描述； 可用正则文法生成。 可用前缀文法生成。 所有的有限语言都是正则的。 字母表{a, b}上包含偶数个a的所有字串构成的语言是正则的。...

顺序模型包括 图灵机 有限状态机 下推自动机 函数式模型包括 递归函数 Λ演算 组合子逻辑 細胞自動機 抽象重写系统（英语：Abstract rewriting system） 同步模型包括 演员模型 各模型的表现不盡相同；例如，有限状态机可以计算的函数，图灵机也可以计算，反之亦然。...

机，叫做 Post 标记机（不要混淆于Post-图灵机）——简单的说，其唯一的磁带是无限长度的FIFO队列的有限状态自动机，在每次状态转变中机器读在队列头部的符号，从头部删除固定数目的符号，并可以向尾部增加符号。 标记系统是三元组 (m, A, P)，这里的 m 是正数，叫做删除数。 A 是有限...