あるチューリング機械は次のformula_1つ組formula_2で定義される。