通用图灵机

一台能读取别的图灵机描述并模拟它的图灵机。这就是"可编程计算机"的理论原型。