Finite Automaton

释义 Definition

有限自动机：一种抽象计算模型，由有限个状态、输入字母表、状态转移规则、初始状态和（通常还有）接受状态集合组成，用来识别/描述正则语言。常见类型包括 DFA（确定性有限自动机） 与 NFA（非确定性有限自动机）。

发音 Pronunciation (IPA)

/ˈfaɪnaɪt ˌɔːtəˈmætən/

例句 Examples

A finite automaton can recognize simple patterns in text.
有限自动机可以识别文本中的简单模式。

In compiler design, a finite automaton is often used to implement lexical analysis by modeling token rules as state transitions.
在编译器设计中，有限自动机常用于实现词法分析，把词法规则建模为状态转移。

词源 Etymology

finite 源自拉丁语 finis（“界限、终点”），强调“有限的、可数的”；automaton 源自希腊语 automatos（“自发的、自动的”），后来指“能自动运作的机器/装置”。合在一起，finite automaton 字面义是“状态数量有限、可自动进行状态变化的抽象机器”。

相关词 Related Words

• Automaton
• DFA
• NFA
• State
• Transition
• Regular Expression
• Regular Language
• Lexical Analysis

文学与经典作品 Notable Works

• Introduction to Automata Theory, Languages, and Computation（Hopcroft & Ullman）：系统讲解有限自动机与正则语言的经典教材。
• Automata and Computability（Dexter C. Kozen）：以清晰的方式介绍有限自动机、可计算性与形式语言。
• An Introduction to Formal Languages and Automata（Peter Linz）：面向学习者的入门书，有限自动机是核心内容之一。