确定型图灵机
图灵机
确定型图灵机(deterministic Turing machine)是一种图灵机。
确定型图灵机(deterministic Turing machine)一种图灵机.指每一步都惟一确定的图灵机.设M为一个图灵机,则只要给M一个输入,M便会以一种唯一确定的方式进行运行.即对M的同一个输入,只有一种计算过程与之相应.这一点是由图灵机程序的相容性条件所确定的(参见“图灵机”),这种图灵机特称为确定型图灵机(参见“非确定型图灵机”).
参考资料
最新修订时间:2024-07-08 14:10
目录
概述
参考资料