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

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

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

串联的、平行的或分布的 算法通常是在假设计算机一次执行一条算法指令的情况下讨论的。那些计算机有时被称为串行计算机。针对这种环境设计的算法称为串行算法，而不是并行算法或分布式算法。并行算法是利用计算机体系结构的算法，其中多个处理器可以同时处理一个问题。分布式算法是使用与计算机网络连接的多台机器的算法。并行和分布式算法...

状态和输出。在新的输入被接收到前，状态保持不变，而输出同时被传输给恰当的接受者。 在本文中，状态机必须具备确定性：多个相同状态机的拷贝，从同样的“初始”状态开始，经历了相同的输入序列后，会达到同样的状态，并且输出同样的结果。 通过恰当输入流，状态机可以实现任意的算法，包括完备图灵机的各种算法...

算法均摊情况下具有近似于线性的时间复杂度，约为字符串的长度加所有匹配的数量。然而由于需要找到所有匹配数，如果每个子串互相匹配（如字典为a，aa，aaa，aaaa，输入的字符串为aaaa），算法的时间复杂度会近似于匹配的二次函数。 该算法主要依靠构造一个有限状态机...

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

算法。 对于每个正则语言，都存在一个最小自动机接受它，即一个有着最小状态数目的DFA，且这个DFA是唯一的（除去状态命名不同的差别）。 最小DFA保证了其在模式匹配等计算应用中开销的最小。 在不影响原始DFA所接受语言的情况下，有两类状态可以被移除或合并，以实现最小化过程。 不可达状态指DFA在任意输入串下都无法达到的状态。...

贪心算法（英語：greedy algorithm），又称贪婪算法，是一种在每一步选择中都采取在当前状态下最好或最优（即最有利）的选择，从而希望导致结果是最好或最优的算法。比如在旅行推销员问题中，如果旅行员每次都选择最近的城市，那这就是一种贪心算法。 贪心算法...

算法。对于期望-最大化(EM)算法和标准k-均值算法，Forgy方法作为初始化方法的表现会更好一些。 这是一个启发式算法，无法保证收敛到全局最优解，并且聚类的结果会依赖于初始的聚类。又因为算法的运行速度通常很快，所以一般都以不同的起始状态运行多次来得到更好的结果。不过，在最差的情况下，k-均值算法...

算法后，受限玻兹曼机才变得知名。受限玻兹曼机在降维、分类、协同过滤、特征学习和主题建模中得到了应用。根据任务的不同，受限玻兹曼机可以使用监督学习或无监督学习的方法进行训练。 正如名字所提示的那样，受限玻兹曼机是一种玻兹曼机...

SARSA算法是机器学习领域的一种强化学习算法，得名于“状态-动作-奖励-状态-动作”（State–Action–Reward–State–Action）的英文首字母缩写。 SARSA算法最早是由G.A. Rummery, M. Niranjan在1994年提出的，当时称为“改进型联结主义Q学习”（Modified...

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

在计算理论中，确定有限状态自动机或确定有限自动机（英語：deterministic finite automaton, DFA）是一个能实现状态转移的自动机。对于一个给定的属于该自动机的状态和一个属于该自动机字母表 Σ {\displaystyle \Sigma } 的字符，它都能根据事先给定的转移函数转移到下一个状态（这个状态可以是先前那个状态）。...

在电气工程、计算机科学、统计计算和生物信息学中，鲍姆-韦尔奇算法是用于寻找隐马尔可夫模型未知参数的最大期望算法，它利用前向-后向算法来计算E-Step的统计信息。 鲍姆-韦尔奇算法是以其发明者伦纳德·埃绍·鲍姆和劳埃德·理查德·韦尔奇的名字命名的。鲍姆-韦尔奇算法...

戴克斯特拉算法（英語：Dijkstra's algorithm），又稱迪杰斯特拉算法、Dijkstra算法，是由荷兰计算机科学家艾茲赫尔·戴克斯特拉在1956年发现的算法，并于3年后在期刊上发表。戴克斯特拉算法使用类似廣度优先搜索的方法解决赋权图的单源最短路径问题。 该算法...

计算机科学中，算法效率是算法的一种属性，算法效率与算法使用的计算资源量的大小有关。分析算法以确定其资源使用情况，即可根据不同资源的使用情况来衡量算法的效率。算法效率可以被认为类似于某个重复或持续过程的生产力大小。 为获得最大效率，一般希望能够尽量减少资源使用量。然而，时间复杂度和空间复杂度等不同的资...

解的优化包括计算问题状态的邻域，即由保守改变现状态产生的新状态。例如，在旅行推销员问题中，状态是待访问城市的排列，状态的邻域是交换任意两城市产生的排列集合。良定义的到邻态的方法称为移动，不同移动会产生不同的邻态集。 爬山算法之类启发法逐个寻找更好的邻态来移动，并在无更好邻态时停止，显然这很容易陷入局部最优。元启发算法...

3166-1三位字母國家代碼 阿斯馬拉國際機場的IATA機場代碼 阿萨姆语的ISO 639-2、639-3語言代碼 汇编语言，一种编程语言。 算法状态机（Algorithmic State Machine） asm.js，一種中間語言 空對面飛彈（air-to-surface missile），又稱「空對地飛彈」...

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

本列表参考《NIST数据结构与算法词典》撰写，該词典为美国国家标准协会（NIST）所出版。它收集了大量计算机科学技术与数据结构和算法的相關條目。 为了方便对照查找，本列表按照术语的英语拼写组织排序。 目录  A B C D E F G H I J K L M N O P Q R S T U V W...

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

了负责运算、存储和通讯等结构的具体组织方式。它可以用于测量算法的计算复杂度，总结出算法的性能，而不受特定技术和实现方式的性能差异所误导。 计算模型可分为三大类：顺序模型、函数式模型以及同步模型。 顺序模型包括 图灵机 有限状态机 下推自动机 函数式模型包括 递归函数 Λ演算 组合子逻辑 細胞自動機...

罗森布拉特给出了相应的感知机学习算法，常用的有感知机学习、最小二乘法和梯度下降法。譬如，感知机利用梯度下降法对损失函数进行极小化，求出可将训练数据进行线性划分的分离超平面，从而求得感知机模型。 感知机是生物神经细胞的简单抽象。神经细胞结构大致可分为：树突、突触、细胞体及轴突。单个神经细胞可被视为一种只有两种状态...

最短路径快速算法（英語：Shortest Path Faster Algorithm (SPFA)），国际上一般认为是带有队列优化的Bellman-Ford 算法，一般仅在中国大陆被称为SPFA，是一个用于求解有向带权图单源最短路径的算法。这一算法在随机的稀疏图上表现出色，并且适用于带有负边权的图。...

务（而没有任何动作发生）来操纵屏幕上的计算机光标并且控制机械臂完成简单的任务。另外在猫上进行的研究对视觉信号进行了解码。 在面向运动功能的脑机接口方面，发展算法重建运动皮层神经元对运动的控制，该研究可以回溯到20世纪70年代。Schmidt, Fetz和Baker领导的小组在20世纪70年代证实了猴...

Raft是一种用于替代Paxos的共识算法。相比于Paxos，Raft的目標是提供更清晰的逻辑分工使得算法本身能被更好地理解，同时它安全性更高，并能提供一些额外的特性。Raft能为在计算机集群之间部署有限状态机提供一种通用方法，并确保集群内的任意节点在某种状态转换上保持一致。Raft算法的开源实现众多，在Go、C++、Java以及...

算法解决的问题是在一个可能发生前述異常（即排除消息篡改之外的其他任何異常）的分布式系统中，如何對某個值的看法相同，保证無論發生以上任何异常，都不会破坏决议的共識機制。一个典型的场景是，在一个分布式数据库系统中，如果各节点的初始状态一致，每个节点都执行相同的操作序列，那么他们最后能得到一个一致的状态...

搜索什么：通常指目标 在哪里搜索：即搜索空间，通常指一系列状态的汇集，因此也称为状态空间 按是否使用啟發式信息分 啟發式搜索 盲目搜索 按问题的表示方式分 状态空间搜索 与/或树搜索 宽度优先搜索算法是沿着树的宽度遍历树的节点，如果发现目标，则算法中止。属于盲目搜索。...

机比特生成器（deterministic random bit generator，DRBG），是一个生成数字序列的算法，其特性近似于随机数序列。伪随机数生成器生成的序列并不是真随机，因此它的每一个数完全由一个初始值决定，这个初始值被称为随机种子（英语：Random...

字母表在形式语言、自动机和半自动机的使用中很重要。在大多数情况下，为了定义自动机实例，如确定有限状态自动机（DFA），需要指定一个字母表，从这个字母表建立自动机的输入字符串。在这些应用中，通常要求字母表是一个有限集，但没有其他限制。 当使用自动机、正则表达式或形式语法，作为字符串处理算法...