确定型图灵机(deterministic Turing machine)一种图灵机.指每一步都惟一确定的图灵机.设M为一个图灵机，则只要给M一个输入，M便会以一种唯一确定的方式进行运行.即对M的同一个输入，只有一种计算过程与之相应.这一点是由图灵机程序的相容性条件所确定的(参见“图灵机”)，这种图灵机特称为确定型图灵机(参见“非确定型图灵机”).