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