字母表 (Alphabet) ➢字母表∑是一个有穷符号集合 ➢符号:字母、数字、标点符号、… 字母表上的运算 串(String) 串上的运算——连接 串上的运算——幂 自然语言的例子——句子的构成规则 文法的形式化定义 产生式的简写 符号约定 自然语言的例子 推导 (Derivations)和归约(Reductions) 句型和句子 语言的形式化定义 语言上的运算 Chomsky 文法分类体系 CFG的分析树 分析树是推导的图形化表示 (句型的)短语 二义性文法 (Ambiguous Grammar) 如果一个文法可以为某个句子生成多棵分析树, 则称这个文法是二义性的 二义性文法的判定