其定义为:与“确定型图灵机(deterministic Turing machine)”相对,在计算的每一时刻,根据当前状态和读写头所读的符号,机器的下一个状态存在若干个选择。
基于20个网页-相关网页
非确定型图灵机 NDTM ; Non-deterministic Turing machine
确定型图灵机
Deterministic Turing machine
以上为机器翻译结果,长、整句建议使用 人工翻译 。
确定型图灵机(deterministic Turing machine)一种图灵机.指每一步都惟一确定的图灵机.设M为一个图灵机,则只要给M一个输入,M便会以一种唯一确定的方式进行运行.即对M的同一个输入,只有一种计算过程与之相应.这一点是由图灵机程序的相容性条件所确定的(参见“图灵机”),这种图灵机特称为确定型图灵机(参见“非确定型图灵机”).
详细内容
应用推荐
模块上移
模块下移
不移动