形式语言学_Ch2_文法.pdf

形式语言学 Introduction to Formal Languages 第2章文法 * 对任何语言L ，有一个字母表∑ ，使得L∑ 。 L的具体组成结构是什么样的？ 一个给定的字符串是否为一个给定语言的句子?如果不 是，它在结构的什么地方出了错？进一步地，这个错误 是什么样的错？如何更正？……。 这些问题对有穷语言来说，比较容易解决。 这些问题对无穷语言来说，不太容易解决。 语言的有穷描述。 第2章文法 主要内容 文法的直观意义与形式定义 ，推导 、文法产生的语言 、句 子 、句型；乔姆斯基体系 ，左线性文法 、右线性文法 ，文 法的推导与归约；空语句。 重点 文法、推导、归约、模型的等价性证明 。 难点 形式化的概念，文法的构造。 2.1 启示 文法的概念最早是由语言学家们在研究自然语言理解中完 成形式化。 归纳如下句子的描述： ⑴ 哈尔滨是美丽的城市。 ⑵ 北京是祖国的首都。 ⑶ 集合是数学的基础。 ⑷ 形式语言是很抽象的。 ⑸ 教育走在社