: 反正我沒看過 Mathematica 的 source code 長的怎樣 0-0|||
: 我修過一門 computer science 的課，automata and formal language
: 這應該有異曲同工之妙...
: 基本上這門課主旨想法很自然，如果給定單字和語法結構，
: 那麼合乎給定條件下的語言--"合法"的句子組成的集合，
: 可以用機械化步驟來生成，所以和 automata 牽上關係...
: 寫的方法，當然有基本的資料--積分表，但是
: 重點是，如何應用轉換規則，將未知公式的轉換成已知的形式，
: 並不是 AI ，假設我們對 AI 的定義沒有差太多的話...
: 或者白話一句，理論能告訴我們，幫我們判斷，
: 一個句子是不是由給定的單字和文法組成的，
: 當然也能告訴我們一個積分是不是由給定的積分表和轉換公式組成的...
compiler只是在做語言的轉換
將高階語言轉成machine code(給電腦看的binary code)
如果你寫過C的話應該知道
source code->compiler->.obj->linker->.exe
我們要寫的是source code,其實不需要知道compiler是怎麼做的
寫code其實是一種觀念,跟使用什麼語言並沒有絕對的關係
比方說我可直接將輸入當作一個字串(跟我的database比對)
若對方輸入的是多項式(形如summation ai*X^i)
則我的output就是summation (ai/i)*X^(i+1)
我想表達的是source code如何寫應該跟compiler沒有什麼關係
compiler只是在做語法的偵錯(就像判斷我們寫英文作文文法有沒有錯)
同時把source code轉成machine code(文法無誤的話再把英文轉成法文)
重點還是在我source code 的內容是什麼
--
※ 發信站: 批踢踢實業坊(ptt.csie.ntu.edu.tw)
◆ From: 61.230.86.249