Finite-State Machine

释义 Definition

有限状态机：一种计算模型/抽象机器，由有限个状态组成；机器在任意时刻处于某一状态，并根据输入与转移规则在状态之间切换，常用于描述与实现控制逻辑、解析、协议、词法分析等。（常见相关概念还包括 finite automaton、DFA/NFA 等。）

发音 Pronunciation (IPA)

/ˈfaɪnaɪt steɪt məˈʃiːn/

例句 Examples

A finite-state machine can model a simple traffic light.
有限状态机可以对简单的交通信号灯进行建模。

The lexer in a compiler is often implemented as a finite-state machine that recognizes tokens efficiently.
编译器中的词法分析器常用有限状态机实现，以高效识别各种记号（token）。

词源 Etymology

该术语由三部分构成：finite（有限的）+ state（状态）+ machine（机器）。它源自20世纪中期的自动机理论与形式语言研究，用来强调：系统的内部“记忆”被限制为有限种可区分的状态，因此能用清晰的状态转移图或转移表来描述。

相关词 Related Words

• Automaton
• Finite Automaton
• Deterministic
• Nondeterministic
• DFA
• NFA
• State
• Transition
• Regular Expression
• Parser

文学与经典著作中的用例 Literary Works

• Introduction to Automata Theory, Languages, and Computation（Hopcroft, Motwani, Ullman）：系统讲解有限状态机/有限自动机及其与正则语言的关系。
• Compilers: Principles, Techniques, and Tools（Aho, Lam, Sethi, Ullman，“龙书”）：在词法分析等章节中常以有限状态机/自动机思想来构造高效识别器。
• Communication Networks（Leon-Garcia, Widjaja）等计算机网络教材：在协议设计与实现讨论中常用有限状态机描述连接建立、状态转移与异常处理。