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

FSM（有限状态机）可以使用上面图1那样的状态图（或状态转移图）来表示。此外可以使用多种类型的状态转移表。下面展示最常见的表示：当前状态（B）和条件（Y）的组合指示出下一个状态（C）。完整的动作信息可以只使用脚注来增加。包括完整动作信息的FSM定义可以使用状态表。 除了建模这里介绍的反应系统之外，有限状态...

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

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

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

狀態轉移表用以表示簡化後的狀態遇到非終端符號時的轉移規則。 下表是剖析過程中的各步驟，堆疊的頂端在最右邊，狀態的轉移與堆疊的化簡都以上表為依據，而特殊字元'$'也被加到輸入串的尾端表示結尾。 剖析起始時堆疊會包含元素$與0： [$ 0] 剖析器首先從輸入緩衝區看到符號'1'，根據動作表當狀態...

机器开始于任意初始状态并读取来自它的符号表的符号的字符串。自动机使用状态转移函数T来使用当前状态，和刚读入的符号或空串来确定下一个状态。但是，“NFA的下一个状态不只依赖于当前输入事件，还依赖于任意数目的后续输入事件。直到这些后续事件出现才有可能确定这个机器所处的状态” 。如果在自动机完成读取的时候，它处于接受状态...

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

状态会反转。也就是说，原来是0的话，变成1；原来是1的话，变成0。 對應表如下: T触发器（Toggle Flip-Flop，or Trigger Flip-Flop）設有一個輸入和輸出，當時脈由0轉為1時：如果输入端T为1，則输出端的状态Q发生反转；如果输入端T为0，則输出端的状态...

在電子設計中，一個激發表會展示出在已知的現有輸出下，產生出特定的下個狀態所需的最少輸入值。它跟真值表和狀態轉移表很相似，不過不同之處在於它將現有輸出與下個輸出狀態放在表格左邊，會產生這樣狀態的輸入則放在表格右邊。 為了獲得正反器的激發表，我們需要列出Q(t)與Q(t+1)的所有情況（像是00,01,10...

表现层状态转换（英语：Representational State Transfer，縮寫：REST）是Roy Thomas Fielding（英语：Roy Thomas Fielding）博士于2000年在他的博士论文中提出来的一种万维网软件架构风格，目的是便于不同软件/程序在网络（例如互联网）中...

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

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

一個程式模組名稱、其編號、標記或是程式指標的偏移量，以調整後面的控制流程。 状态转移表中的控制變數，在事件驅動程式設計中來控制事件迴圈。 在線上交易處理中控制程式周期。 可以作為由直譯器運作的虛擬機器中的虛擬指令 類似字节码，但常會配合控制表的結構中隱含的動作而運作。 控制表可以是多維的，可以是固定長度或是可變長度，而且具有...

转移给一条新的合成链，因此经常作为“维持”甲基转移酶被提及。DNMT1对于适当的胚胎发育、印刻铭记和X失活是必需的。为了强调这个遗传分子机制与权威的瓦特生-克里克遗传信息的碱基配对遗传机制的区别，引进了“表观遗传模板”这个术语。此外，除了维持和传送甲基化DNA状态...

自动机是有限状态机（FSM）的数学模型。FSM是给定符号输入，依据（可表达为一个表格的）转移函数“跳转”过一系列状态的一种机器。在常见的FSM的“米利型有限状态机”（Mealy）变体中，这个转移函数告诉自动机给定当前状态和当前字符的时候下一个状态是什么。...

{\displaystyle \Sigma } 是叫做“输入字母表”的非空集合，Q是叫做“状态集合”的非空集合，而T是“转移函数”， T : Q × Σ → Q {\displaystyle T:Q\times \Sigma \to Q} 当状态集合Q是有限集合（不是必须的!）的时候，半自动机可以被认为是确定有限自动机...

人当前所关注的纸上某个位置的符号和（b）此人当前思维的状态。 为了模拟人的这种运算过程，图灵构造出一台假想的机器，该机器由以下几个部分组成： 一条无限长的纸带TAPE。纸带被划分为一个接一个的小格子，每个格子上包含一个来自有限字母表的符号，字母表中有一个特殊的符号 ◻ {\displaystyle \square...

假设给定隐式马尔可夫模型（HMM）状态空间 S {\displaystyle S} ，共有k个状态，初始状态 i {\displaystyle i} 的概率为 π i {\displaystyle \pi _{i}} ，从状态 i {\displaystyle i} 到状态 j {\displaystyle j} 的转移概率为...

状态之间是如何转移的。也就是说，如何从已知的状态推导出新的状态，状态转移方程是解决问题的核心，一般想明白状态转移方程问题就解决了。 3. 确定初始状态和边界条件：有了状态转移方程后，我们需要确定问题的初始状态。同时，我们还需要考虑一些特殊情况，比如输入为0或负数时应该如何处理。 4. 按照状态转移...

{r_{1}/r_{2}}}\right)} 。这种转移也被称为双抛物线转移，因为两个转移轨道不再是椭圆而是抛物线，转移时间也增加到无穷大。 与霍曼转移相同，双椭圆转移中使用的两个转移轨道恰好都是半椭圆。这意味着两次转移的所需时间都是整个椭圆转移轨道周期的一半。 使用轨道周期方程和上面的符号定义，...

用解的邻域作为探索解空间的一种方式，虽然更喜欢较好的邻态，但也接受较差的邻态，以免陷入局部最优。若运行时间够长，则可以找到全局最优。 从现状态s转移到候选的新状态 s n e w {\displaystyle s_{\mathrm {new} }} 的概率由接受概率函数（acceptance probability...

trie树实际上是一个确定有限状态自动机(DFA)，通常用转移矩阵表示。行表示状态，列表示输入字符，（行，列）位置表示转移状态。这种方式的查询效率很高，但由于稀疏的现象严重，空间利用效率很低。也可以采用压缩的存储方式即链表来表示状态转移，但由于要线性查询，会造成效率低下。 于是人们提出了下面两种结构。...

地月转移（英语：trans-lunar injection (TLI)）是月球探测器从地球出发，通过推进器加速，进而脱离地球引力，最终被月球引力捕获的过程。 第一个尝试地月转移的探测器是苏联于1959年1月2日发射的月球1号，月球1号原本被设计成撞向月球的航天器，但是地面控制系统的故障导致火箭的点燃...

Transport Network）。 采用低能量转移轨道的优点是可以用很小的速度增量穿越很长的距离，缺点是相比采用像霍曼转移轨道这种高能量的（即需要更多燃料的）转移轨道，需要更长的时间。 1991年，日本的探月飞船飞天号首次执行了低能量转移，不过其最初设计目标是飞越月球，而不是入轨。飞天号在第...

空表达式ε直接转化为： 字母表中的单个符号a直接转化为： 下面针对正则表达式的三种运算——并、连接和Kleene*闭包给出NFA的构造规则。设子表达式为s和t，则它们对应的NFA分别记作N(s)和N(t)。 两个正则表达式的并s|t可以转化为： 通过ε转移， 状态q...

在太空動力學，霍曼轉移軌道（或譯為郝曼轉移軌道，Hohmann transfer orbit）是一種被用於變換太空船軌道的軌道操縱（英语：Orbital maneuver），途中只需兩次引擎推進，相對地節省燃料。例如，霍曼轉移可用於將衛星的軌道從近地軌道提升到地球靜止軌道。在理想情況下，初始軌道和目...

天体运行在轨道任一点上的速度能够通过该点与中心天体的距离计算出来；而天体的轨道能量则与其所在位置无关，轨道能量等于动能加势能之和。 故，在理想状态下轨道速度 v {\displaystyle v\,} 为： 普通情况下： v = 2 ( μ r + ϵ ) {\displaystyle v={\sqrt...

地球同步轉移軌道（英語：geostationary transfer orbit，GTO）為霍曼轉移軌道的運用之一，為橢圓形軌道，經加速後可達地球靜止軌道（GEO）。近地點多在1000公里以下，遠地點則為地球靜止軌道高度35786公里。一般而言，地球同步轉移...

O(ns\log n)} ，其中 n {\displaystyle n} 为状态数， s {\displaystyle s} 为字母表大小。这一时间界的得出是由于，对自动机的每  n s {\displaystyle ns} 个转移，每步转移在切分步骤中参与了  O ( log ⁡ n ) {\displaystyle...

m 1 m 0 {\displaystyle 1-{\frac {m_{1}}{m_{0}}}} 是质量分率（质量比重）。 请注意，如上公式是在理想状态下的推导结果，换句话说，实际过程中，在重力加速度和各种干扰力的联合作用下， Δ v {\displaystyle \Delta v} 通常并不是如上公式计算所得。...