ダウンロード

定義2.6(多テープチューリング機械)