※ 引述《cog5566 (刃之56)》之铭言： : 是所有的语言（包含自然语言）都是这两种的其中一种吗？ 如前面说的，context free language (CFL) 是 context sensitive language (CSL) 的子集。CSL 相当的广，一般 认为自然语言是可以用 CSG 描述的。但实用上，要知道一个 word 是否在一个 CSL 之中，是很耗时的问题。因此研究语 言的人多半会用其他的子集。 : 程式语言和上下文无关文法的关系是什麽呢？ : 是这些文法或是形式语言的理论先发展出来，才开始有众多的程式语言被发明， : 还是相辅相成的进展？ 如前所述，formal language 的理论是独立发展的。但他们 对程式语言影响很大 --- 没有采用文法之前，程式语言的 定义是一团乱。 当然开始用之後，程式语言学这边也会研究适合程式语言 的文法、比较容易 parse 的文法，等等。 不只程式语言，很多计算问题可以用文法描述：一个问题 的所有解答都满足某个文法，该问题就可以从文法的角度 去解。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 133.11.138.164