更改

图灵机是1936年由'''阿兰·图灵（Alan Turing）'''发明，他称之为“自动机”。通过这个模型，图灵能够否定地回答两个问题:  

图灵机是1936年由'''阿兰·图灵（Alan Turing）'''发明，他称之为“自动机”。通过这个模型，图灵能够否定地回答两个问题:  

# 是否存在一台机器，能够确定其纸带上的任意机器是否是“循环”的(例如，死机，或无法继续其计算任务) ?

:: 是否存在一台机器，能够确定其纸带上的任意机器是否是“循环”的(例如，死机，或无法继续其计算任务) ?

# 是否存在一种机器可以确定其纸带上的任何任意机器是否曾经打印出一个特定的符号？

:: 是否存在一种机器可以确定其纸带上的任何任意机器是否曾经打印出一个特定的符号？

因此，通过提供可以进行任意计算的非常简单的装置的数学描述，他能够证明计算的一般性质，尤其是判定性问题(翻译自德语Entscheidungsproblem, 英文译作decision problem)的不可计算性。

因此，通过提供可以进行任意计算的非常简单的装置的数学描述，他能够证明计算的一般性质，尤其是判定性问题(翻译自德语Entscheidungsproblem, 英文译作decision problem)的不可计算性。