討論串[請益] 那些語言或程式用上 多核心 CPU
共 30 篇文章

推噓3(3推 0噓 1→)留言4則,0人參與, 最新作者hellfire.時間18年前 (2007/05/21 09:01), 編輯資訊
0
0
1
內容預覽:
引述《xcycl.bbs@ptt.cc (XOO)》之銘言:. > 引述《DreamLinuxer ( )》之銘言:. > : 一個問題是undecidable就是說不存在程式可以decide這個問題. > : 既然不存在到底是要怎麼寫?. > Well, 我講嚴謹一點,. > Turing
(還有443個字)

推噓0(0推 0噓 0→)留言0則,0人參與, 最新作者xcycl (XOO)時間18年前 (2007/05/21 01:28), 編輯資訊
0
0
0
內容預覽:
Well, 我講嚴謹一點,. Turing-recognizable 是嚴格包含 Turing-decidable 語言的。. 而 language 是 recogizable 但不是 decidable 的,. 意指存在 Turing Machine 能夠 recognize 這問題,只是不見得.
(還有17個字)

推噓0(0推 0噓 0→)留言0則,0人參與, 最新作者ggg12345 (ggg)時間18年前 (2007/05/20 19:41), 編輯資訊
0
0
0
內容預覽:
====================================================================. 粗略的說 Halting Problem , 就是說不存在一種算法或程式, 可以針對所有的. 程式, 透過計算判斷, 判定最終是否會停還是不會停.. 沒有這種如
(還有126個字)

推噓1(1推 0噓 0→)留言1則,0人參與, 最新作者DreamLinuxer ( )時間18年前 (2007/05/20 17:15), 編輯資訊
0
0
0
內容預覽:
一個問題是undecidable就是說不存在程式可以decide這個問題. 既然不存在到底是要怎麼寫?. --. 如果真的寫出這種程式一定得Turing Award. --. 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 140.113.209.144.

推噓0(0推 0噓 1→)留言1則,0人參與, 最新作者ggg12345 (ggg)時間18年前 (2007/05/19 20:57), 編輯資訊
0
0
0
內容預覽:
===================================================================. 那您先得看底下這一段: 這是 avi 先進提供的.. 前面已有人質疑是 Halting Problem 能解嗎 ? 但應該不是這樣的對象與用途.. 多核心 如同
(還有930個字)