Bra*_*ugh 10 theory turing-machines
我之前正在讨论状态机,并且有一个问题是它是否可能不会停止某些输入.这似乎是国家机器的一个重要且经常被提及的属性,但我不能为我的生活弄清楚该属性的名称是什么.有这样一个词吗？它是"可停止的","不是无限循环",还是其他什么？
Wel*_*bog 9
始终停止的机器称为决策程序.
决策者只需要一台停止所有输入的机器.例如,所有DFA都是决策者,DPDA也是如此.
归档时间：
15 年，3 月 前
查看次数：
325 次
最近记录：