Turing Machines provided a simple, yet powerful mathematical model of computation.

图灵机提供了一个简单而强大的计算数学模型。