停止性問題的日文

• 停机问题

• 最適性問題:    さいてきせいもんだい最优化问题。
• 停止性能:    ていしせいのう
• 充足可能性問題:    布尔可满足性问题
• 停止問題:    ていしもんだい〈计算〉停机问题。
• 最適停止時間問題:    さいてきていしじかんもんだい最佳停止时间问题。

例句与用法

1. H(A,x)は停止性問題を解く。
2. 停止性問題の決定不能性も対角線論法で証明できる。
3. 停止性問題を参照のこと）。
4. ライスの定理を停止性問題の決定不能性定理に帰着する。
5. 停止性問題を常に正しく解くプログラムHが存在したとする。
6. よって停止性問題を常に正しく解くプログラムHは存在しない。
7. （停止性問題の決定不能性が何かは停止性問題の項を参照）。
8. （停止性問題の決定不能性が何かは停止性問題の項を参照）。
9. ライスの定理は「停止性問題の決定不能性定理」の一般化である。
10. したがって停止性問題を常に正しく解くプログラムは存在しない。