推 Nessa1103:formal language 和 automata 可以互相轉換(這學期必修) 12/22 09:44
→ xcycl:我說的一開始沒關係，是指這並不是要研究程式語言才搞的東西 12/22 10:43
※ 引述《cog5566 (刃之56)》之銘言：
: 剛剛發現這個版，好多高手。
: 不好意思我來亂入問一下問題。
: 我一直不是很懂什麼是
: 「上下文無關文法」
我想應該是指英文的 context-free grammar
: 和
: 「上下文有關文法」
以及 context-sensitive grammar
: 是所有的語言（包含自然語言）都是這兩種的其中一種嗎？
: 程式語言和上下文無關文法的關係是什麼呢？
其中 cfg 比 csg 弱，意思是所有的 cfg 都是 csg 但反之不成立。
: 是這些文法或是形式語言的理論先發展出來，才開始有眾多的程式語言被發明，
: 還是相輔相成的進展？
Nope. 印象中這個分類是語言學家 Chomsky 做的，
印象中一開始跟程式語言沒有直接的關係。
: 歷史上這些東西的關係是什麼呢？
: 這些問題可能很大，如果不方便精簡的話，也可以提供一些方向就好。
: 謝謝～
找找 Noam Chomsky 的著作, 或是 formal language 相關的，
還有計算理論(theory of computation)的書。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 82.36.65.98