一种假想的计算机，用于确定某一特定数学问题是否能通过计算程序(算法)来解答。这种机器被假设为具有一个无限的磁带，将信息储存于大量彼此独立的存储单元中。机器完成校验及转换字符的程序，这被视为主动状态。如果问题是可解答的，机器进入被动状态，在此状态下，磁带储存有解法。此设想由艾伦·马蒂松·图灵(1912—1954)等人于1936年提出，标志着计算机逻辑的一个重大进展。