图灵机
对于任意一个图灵机，因为它的描述是有限的，因此我们总可以用某种方式将其编码为字符串。我们用formula_93表示图灵机formula_20的编码。