DFA

释义 Definition

DFA 是 Deterministic Finite Automaton 的缩写，中文常译为确定性有限自动机（或确定型有限自动机）。它是一种用于识别/匹配正则语言的抽象计算模型：在任意状态下读入一个输入符号时，转移是唯一确定的。

发音 Pronunciation (IPA)

/ˌdiːˌɛfˈeɪ/

例句 Examples

A DFA can tell whether a string matches a simple pattern.
DFA 可以判断一个字符串是否匹配某个简单模式。

In compiler design, a DFA is often used to model token recognition during lexical analysis.
在编译器设计中，DFA 常用来建模词法分析阶段对记号（token）的识别过程。

词源 Etymology

DFA 来自计算机科学与形式语言理论中的缩写：Deterministic（确定性的）+ Finite（有限的）+ Automaton（自动机）。该术语在 20 世纪中期自动机理论发展中逐渐固定下来，用于与 NFA（非确定性有限自动机）区分。

相关词 Related Words

• Automaton
• Compiler
• Finite
• Formal Language
• Lexical Analysis
• NFA
• Regular Expression
• State
• Transition

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

• Introduction to the Theory of Computation（Michael Sipser）——在自动机与正则语言章节中系统讲解 DFA。
• Automata Theory, Languages, and Computation（Hopcroft, Motwani, Ullman）——使用 DFA 作为正则语言识别的核心模型。
• Compilers: Principles, Techniques, and Tools（Aho, Lam, Sethi, Ullman，“龙书”）——词法分析部分常以 DFA/DFAs 构造来说明扫描器实现。