Re: [請益] 那些語言或程式用上 多核心 CPU
※ 引述《DreamLinuxer ( )》之銘言：
: ※ 引述《xcycl (XOO)》之銘言：
: : 如果程式 N 不會停的話，判斷程式 M 也跟著不停住，那其實也對。
: : 像是在 Unix 下 time 指令，不就會丟給你程式 M 的執行時間呢 XD
: : 當然"判斷多少花多少時間"，絕對是 undecidable 的，
: : 我只是想說，問題是 undecidable 不代表寫不出程式啊 ...
: 一個問題是undecidable就是說不存在程式可以decide這個問題
: 既然不存在到底是要怎麼寫?
====================================================================
粗略的說 Halting Problem , 就是說不存在一種算法或程式, 可以針對所有的
程式, 透過計算判斷, 判定最終是否會停還是不會停.
沒有這種如此本事高強的程式或算法, 並不表示本事差一點的算法或程式就不
存在, 闢如一個程式都沒 if loop , 開始到結束只有算術計算的 assignment
statement(除了分母=0 例外) , 那是能判斷計算時間也能知道何時會結束的.
就像 compiler 不會知道程式解題解對了沒有, 但 Compiler 知道語法寫錯是
翻譯不出對的指令, 但也能替你的程式做些假設的狀況強行翻譯, 看起來好像
真的能自動除錯, 但也不保證就猜對.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.115.5.62
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 18 之 30 篇)：
Programming 近期熱門文章
PTT數位生活區 即時熱門文章
