經安全檢測,此網站為安全網站,請放心前往原始網址!

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

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

terms.naer.edu.tw

網址安全性掃描由 google 提供