チューリング機械のように、数学的な表現をしたいのですが。