第二章 文法和语言

2.1文法的直观概念从语言结构的角度上看组成语言的基本形式是句子句子是由单词序列构成的单词是由语言基本符号(字母或单字)组成语言既包含单词和句子这样的语言成分又包含将这些成分组织起来的语法规则如词法规则句法规则等。文法是阐述语法的一个工具语句是语法的实例程序语言——形式语言形式语言是符号串集合字母表上的符号按一定的规则组成的所有符号串集合其中的每个符号串称为一个句子。2.2符号符号串字母表字母表是非空有穷集合其元素称为符号符号串由字母表中的符号组成的有穷序列称为字母表上符号串不含任何符号的有穷序列称为空串记为规则以某种形式表达的在一定范围内共同遵守的章程和制度这里指符号串的组成规则。符号串长度符号串的长度是指符号串中含有符号的个数记为。特别约定空串为零符号串集合如果集合A的元素都是字母表上的符号串则称集合A为上的符号串集合简称串集2.3文法与语言的形式化定义什么是“形式化定义”对文法的一种精确的数字定义定义的“文法”“句子”等概念虽然可以和自然语言的对应概念类比但它们有严格的数学基础可以被计算机处理文法的形式化定义包含哪些内容文法使用的非终结符代词文法使用的终结符文法的开始符号句子文法的生成规则主语名词|代词2.4文法的类型