[問題] 可否用數學表達?

看板C_and_CPP作者 (ppttcc)時間15年前 (2010/10/19 18:07), 編輯推噓2(2推 0噓 5→)
留言7則, 6人參與, 最新討論串1/3 (看更多)
例如,if-else這種敘述用 bool=1, L=M =0, L!=M 像這樣的方式轉換, 那像for,while,設定敘述,總之所有的c/c++ 語法通通用(或盡可能)數學表達,是否有可能? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.38.20.169 ※ 編輯: ppttcc 來自: 114.38.20.169 (10/19 18:09)
推
10/19 18:37, , 1F
不太懂，也許跟formal language有關
10/19 18:37, 1F
→
10/19 23:08, , 2F
好處是？編出來的組語也不會比較快啊 ...
10/19 23:08, 2F
→
10/19 23:47, , 3F
可能 但是我覺得你的表示法怪怪的=.= !=應該改成=/=
10/19 23:47, 3F
→
10/20 00:43, , 4F
turing machine
10/20 00:43, 4F
推
10/20 08:57, , 5F
有,去唸imperative logic 和semantics
10/20 08:57, 5F
→
10/20 08:58, , 6F
然後學一學一種稱為Coq的驗證工具
10/20 08:58, 6F
→
10/20 11:24, , 7F
感謝
10/20 11:24, 7F
‣ 更多 ppttcc 的文章
文章代碼(AID): #1ClMthJx (C_and_CPP)
‣ 更多 ppttcc 的文章
文章代碼(AID): #1ClMthJx (C_and_CPP)