以下の用語について説明します（12点） 1．計算可能な関数2. 決定可能な言語3. ユニバーサル チューリング マシン 4. コンピューティング履歴を受け入れる 5...

1 計算可能な関数: 特定の条件を満たし、アルゴリズムを使用して実装できる関数を指します。2. 決定可能な言語: 限られた数のステップ内でステートメントが真であるかどうかを決定できる言語を指します。3. ユニバーサル チューリング マシン: チューリング マシンに基づく抽象コンピューティング モデルであり、あらゆるコンピューター プログラムをシミュレートできます。4. 計算履歴の受け入れ: 複数の計算ステップを記録し、これらの計算ステップをシミュレートし、新しい計算ステップを導出できる計算モデルです。5. 多項式時間短縮: 問題を多項式時間で別の同等の問題に変換するプロセスを指します。6. NP 完全性: 多項式時間では解決できないが、非多項式時間では解決できる問題を指します。