首先是關於語言：

    我們無法確定一個有著有序符號的一串排列算不算是語言的一部分，於是Formal Language 提供了一個更加精確的規則來
    管理什麼樣的字串是屬於語言的範疇，Formal Language包括了程式語言，資料庫查詢語言以及一些不同的檔案格式，
    而相比之下，英語法語什麼的不屬於formal language的範疇，縱然你仍然可以寫一些關於他們的一些規則。

怎麼樣去形容或者講授一個語法：

        1.  一些不太正式的表達：

            一個演算法表示式一般是由一些變數和數字和一些插入的操作符（+，-，*，/）組成的，然後一些子表示式也會被一
            些插入語依附....之類的東西

        2.  例如：a42是一個有效的變數名，而42a不是的，因為變數名不能以數字開頭

        3.  所以我們需要一些註釋來更準確的表達這些description
 

這一門課主要是：表示正規語言的符號（notations for representing formal languages），為我們提供了：

    1.  更加準確的定義

    2. 創造編譯器去識別語言

    3. 提供方法去檢驗：
            ·
        · 一串符號是否屬於語言的範疇

        · 兩種可替換的語言描述是否是相同的語言

在程式語言中：

    編譯階段：

        1.詞法分析：把字串序列分成符號，類似於變數名，操作符，標記這種。

        2.轉換：鑑別符號之間的關係

        3.生成程式碼

        4.程式碼最優化