“他对语言学的这个阐释，让语言学朝着两个不同的方向发展。在具象的层面上，语言学沿着心理学、人类学的道路一路奔流。而与此同时具有公理性质的、形式主义的数学概念也自然而然的被导入到了这个领域……”
“……数学家阿克塞尔·图埃第一次明确表达描述语言结构的抽象形式规则。他最初将这些规则表示为一个具有‘→y’这形式的‘文法产生’，即‘一个词中的每一个都可以被y代替’。图埃就是将‘语法’形容为‘具备上述这类形式的文法产生集合’，并根据这一集合，给出了基于自然语言的‘字问题’，即‘判定任何两个词语是否可以根据使用上述集合当中的文法产生来变成对方’……”
“……而在计算机诞生之前，数学家就得出了一个结论。这个结论在用计算机诞生之后的方式叙述，便是：采纳图埃语法的语言，正是那些能够借助任何一种普通计算机程序设计语言而生成的语言。换句话说，简单的文法产生，足以刻画所有的‘类型’——足以刻画最复杂的计算机程序所能刻画的、所有类型的形式语言或者机械语言……”
“……诺姆·乔姆斯基则做出了另一个尝试。他尝试使用图埃语法对英语做出一个完全刻画……”
“那个……”尤基弱弱的举起手，打断了向山的叙述：“请问‘英语’是什么？”
内容未完，下一页继续阅读