Turing machine
首先我们可以发现，改变图灵机的带字母表并不会改变其计算能力。例如我们可以限制图灵机的带字母表为formula_106，这并不会改变图灵机的计算能力，因为我们显然可以用带字母表为formula_106的图灵机模拟带字母表为任意有限集合formula_7的图灵机。