※ 引述《pftung (我是誰???)》之銘言：
: design一個compiler跟現在的問題好像沒神麼關係
: 因為我並不是要compile一個語言(事實上我也沒學過compiler怎麼做)
: 但大體上,給我一個簡單的table(太複雜的資料庫還是得找專家)
: 我可以寫出一個類似的簡單版本
: 我所以我猜測他是使用查表的方法(也許真的可以寫出這麼強的AI啦)
: 寫的方法C或Matlab都可,不需要動用到compiler的知識
: p.s多討論....很久沒討論過這樣的問題了
: ※ 引述《ginstein (夢想的另一端)》之銘言：
: : 基本上，這是個神奇的理論，撇開理論不談，
: : 你要怎麼設計一個 compiler... 總不是用資料庫吧:P
呵呵～就當我是在虎爛吧～
反正我沒看過 Mathematica 的 source code 長的怎樣 0-0|||
我修過一門 computer science 的課，automata and formal language
這應該有異曲同工之妙...
基本上這門課主旨想法很自然，如果給定單字和語法結構，
那麼合乎給定條件下的語言--"合法"的句子組成的集合，
可以用機械化步驟來生成，所以和 automata 牽上關係...
寫的方法，當然有基本的資料--積分表，但是
重點是，如何應用轉換規則，將未知公式的轉換成已知的形式，
並不是 AI ，假設我們對 AI 的定義沒有差太多的話...
或者白話一句，理論能告訴我們，幫我們判斷，
一個句子是不是由給定的單字和文法組成的，
當然也能告訴我們一個積分是不是由給定的積分表和轉換公式組成的...
--
※ 發信站: 批踢踢實業坊(ptt.csie.ntu.edu.tw)
◆ From: 140.112.169.79