Turing machine
一般的图灵机可以计算偏函数。有关于偏图灵机和全图灵机之间关系的两个问题: