所谓语法有两个层次的含义

d
daigaku
楼主 (未名空间)

一个是内在的语法,任何正常人脑子里都有一套语言的使用规则,哪怕他自己总结不出来。
按照Chomsky的理论,内在的语法又可以理解成本能的语言系统在一定语言环境中参数
化。

比如世界上绝大多数语言的“句法”可以归纳为context-free grammar
或者进一步抽象成{a^nb^n}的形式
从编程的角度来说,写一个自然语言的parser需要一个pushdown automaton
人类的语言中枢都能编译这样的句法结构,只是具体不同的语言有不同的参数差异

有极个别的语言句法上超越了context-free
比如瑞士德语和荷兰语里有{a^nb^mc^nd^m}的句法
但比例比较小,而且其实也有很多约束
感兴趣的可以看 https://en.wikipedia.org/wiki/Cross-serial_dependencies

总之就是,我们人类天生会编译context-free的语言(从句法上来说)
不通语言有不同特征,但computing power一致

另一个层次是描述性的语法,就是语法书的内容。
这是内在语法在具体语言里的映射。
这个描述性的语法是学者观察总结出来的,就跟所有科学观察一样,有局限性。
普通人未接受教育的话,并不清楚这些语法
d
daigaku

还有,更广义的语法还包括音系法则。

比如普通话“老李”要说成“劳李”,这也是语法的内容。
i
ironcat

你也是我们千老?

【 在 daigaku (๑۩۞۩๑) 的大作中提到: 】
: 一个是内在的语法,任何正常人脑子里都有一套语言的使用规则,哪怕他自己总结不出
: 来。
: 按照Chomsky的理论,内在的语法又可以理解成本能的语言系统在一定语言环境中参数
: 化。
: 比如世界上绝大多数语言的“句法”可以归纳为context-free grammar
: 或者进一步抽象成{a^nb^n}的形式
: 从编程的角度来说,写一个自然语言的parser需要一个pushdown automaton
: 人类的语言中枢都能编译这样的句法结构,只是具体不同的语言有不同的参数差异
: 有极个别的语言句法上超越了context-free
: 比如瑞士德语和荷兰语里有{a^nb^mc^nd^m}的句法
: ...................

n
nilaolao

LOL

【 在 ironcat (I shall be your eyes!) 的大作中提到: 】
: 你也是我们千老?

R
ReedToBe

世界上大多数语法都是cfg?还是可以进一步抽象成{a^nb^n}的形式?这是cfl的一个例子好吧?大多数语言都既不是cfl,也不能抽象成{a^nb^n}的形式。
你说的csl也完全不靠谱。
自己去学一下Ullman的著作和Chomsky的著作,真怕了你!
【 在 daigaku (๑۩۞۩๑) 的大作中提到: 】
: 一个是内在的语法,任何正常人脑子里都有一套语言的使用规则,哪怕他自己总结不出
: 来。
: 按照Chomsky的理论,内在的语法又可以理解成本能的语言系统在一定语言环境中参数
: 化。
: 比如世界上绝大多数语言的“句法”可以归纳为context-free grammar
: 或者进一步抽象成{a^nb^n}的形式
: 从编程的角度来说,写一个自然语言的parser需要一个pushdown automaton
: 人类的语言中枢都能编译这样的句法结构,只是具体不同的语言有不同的参数差异
: 有极个别的语言句法上超越了context-free
: 比如瑞士德语和荷兰语里有{a^nb^mc^nd^m}的句法
: ...................