是否有一个有限状态机的术语可以保证停止？

Question

我之前正在讨论状态机，并且有一个问题是它是否可能不会停止某些输入。这似乎是国家机器的一个重要且经常被提及的属性，但我不能为我的生活弄清楚该属性的名称是什么。有这样一个词吗？是“可以暂停”，“不是无限循环”，还是其他什么？

Answer 1

始终停止的计算机称为decider。

决策程序只需要是一台停止所有输入的机器。例如，所有DFA都是决策者，DPDA也是如此。

Answer 2

我的猜测是“停顿”，源于着名的"halting problem"，它类似于你的问题，即是否会停止给定的输入。一个重要的考虑因素是机器一般不被定义为“停止”，而是定义为特定输入。一般情况证明是无法解决的（图灵本人）。