嘿，这个问题问得特别到位——刚接触有限自动机的时候，几乎所有人都会被这俩名字搞懵，毕竟它们都用双圆圈标记，看起来完全一样！

其实核心结论很简单：在绝大多数正统的计算机科学语境里，这两个术语指的是同一个东西，只是观察角度不同而已。

为什么会有两个名字？ #

• 叫「终止状态」时，我们是从状态机的运行流程出发的：当输入字符串被完全处理后，机器会停在某个状态，这个“停下”的状态就被称为终止状态，强调的是流程的结束节点。
• 叫「接受状态」时，我们是从语言识别的核心功能出发的：如果机器处理完输入后停在这个状态，就代表这个字符串符合自动机的规则，属于它所定义的语言集合，强调的是这个状态具备“认可输入”的属性。

那什么让一个状态成为接受状态？ #

答案是自动机定义时的明确指定。比如在确定性有限自动机（DFA）的五元组 (Q, Σ, δ, q₀, F) 里，F 就是接受状态的集合——我们在定义这个自动机的时候，就直接把某些状态划归到F里，这些状态就具备了“接受输入”的属性，双圆圈只是用来可视化这个属性的符号而已。

举个简单例子：假设我们有一个识别偶数长度二进制串的DFA，当输入完最后一位二进制数后，机器停在双圆圈状态——从流程上看这是终止状态，从功能上看这是接受状态，本质就是同一个状态，只是我们描述它的侧重点不同。

内容的提问来源于stack exchange，提问作者pstatix