程式語言理論
From Wikipedia, the free encyclopedia
程式語言係為咗俾用家可以俾命令落電腦而設嘅人工語言,為嘅係想要令電腦易用啲:原則上,電腦淨係識得睇完全由一串串 1 同 0 組成嘅機械碼(machine code),而呢啲一大串嘅 1 同 0 對一般人嚟講相當難明[2];電腦嘅設計者就創造出好似組合語言(asm)同高級程式語言等嘅程式語言-用呢啲語言寫成嘅源碼喺俾部電腦攞去行之前會轉化成機械碼,不過呢啲語言往往俾人設計成易睇過機械語言,令程式編寫呢家嘢易做啲。而隨住電腦科技嘅發展,廿一世紀初嘅電腦界出咗好多隻唔同嘅程式語言,每款程式語言都有獨特嘅功能[1][3]。
程式語言理論做嘅就係嘗試比較唔同嘅程式語言:程式語言理論會用邏輯等形式化(formalized)-即係每個符號都有清晰定義,唔似得自然語言咁多歧義-嘅語言嚟表達唔同嘅程式語言,剖析唔同程式語言彼此之間喺解難能力上有乜嘢差異,例如係「某隻程式語言會唔會比起第啲語言更加擅長解某啲類型嘅問題」等嘅課題[4]。呢啲理論思考會同數學、軟件工程、語言學同認知科學等嘅領域互相影響,而且對電腦應用-例如係新程式語言嘅設計噉-嚟講相當緊要[5]。