※ 引述《ppttcc (ppttcc)》之銘言：
: 例如,if-else這種敘述用
: bool=1, L=M
: =0, L!=M
: 像這樣的方式轉換,
: 那像for,while,設定敘述,總之所有的c/c++
: 語法通通用(或盡可能)數學表達,是否有可能?
我不大懂，你要的是將 C/C++ 上的語法，對應成邏輯形式，
或是將 C/C++ 語法化簡成 C/C++ 函數的形式？
依我的理解，數學表達是將 C/C++ 的程式碼，
對應數學集合，函數或是相關的結構。如果是這樣，
那麼可以看看 program seamntics 相關的書，
用學術網路應該上 Springerlink 有
Semantics with Applications: An Appetizer
這本書可以直接抓（學校有買的話啦 ...）。
--
XOO's http://xcycl.wordpress.com/
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 147.188.193.87