※ 引述《cog5566 (刃之56)》之銘言： : 是所有的語言（包含自然語言）都是這兩種的其中一種嗎？ 如前面說的，context free language (CFL) 是 context sensitive language (CSL) 的子集。CSL 相當的廣，一般 認為自然語言是可以用 CSG 描述的。但實用上，要知道一個 word 是否在一個 CSL 之中，是很耗時的問題。因此研究語 言的人多半會用其他的子集。 : 程式語言和上下文無關文法的關係是什麼呢？ : 是這些文法或是形式語言的理論先發展出來，才開始有眾多的程式語言被發明， : 還是相輔相成的進展？ 如前所述，formal language 的理論是獨立發展的。但他們 對程式語言影響很大 --- 沒有採用文法之前，程式語言的 定義是一團亂。 當然開始用之後，程式語言學這邊也會研究適合程式語言 的文法、比較容易 parse 的文法，等等。 不只程式語言，很多計算問題可以用文法描述：一個問題 的所有解答都滿足某個文法，該問題就可以從文法的角度 去解。 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 133.11.138.164