halting problem of turing machine - 杜林機停機問題

在杜林機中，研究是否存在一確定算法，能在有限步數內確認，以某一輸入帶為加工 對象的那台杜林機能否最終停機的一種 ...

terms.naer.edu.tw