转自： http://www.cnblogs.com/BlackWalnut/p/4471938.html 　　我们知道了词法分析是专注于一个检测一个语言中是否有不合格的单词，以及将单词进行分类。那么为什么要分类呢？其目的就是为了规范化。只有无限的东西规范到一个范围内，我们才能对其进行识别 ...

很多。 　　LR（K）文法的定义是：从左至右分析，最右推导，超前查看K个单词。先看一个例子，来对LR文法有个大致的印 ...

　　（转载请表明出处 http://www.cnblogs.com/BlackWalnut/p/4472122.html ） 　　LL（K）语法分析技术是建立在预测分析的技术之上的。我们先来了解预测分析技术。考虑以下文法： 　　 当使用该文法对（1*2-3）＋4和（1*2-3）进行 ...

字母表：符号的非空有限集。 例如∑={0，1，2} 符号：字母表中的元素。 例如：1 符号串：由字母表中的符号组成的任何有穷序列。 例如：01，012012，...... ...

1.上下文无关文法定义 　　文法：它描述语言语法结构的一组形式规则。 　 上下文无关文法：它定义的语法范畴（或语法单位）是完全独立于这种范畴可能出现的环境。例如，在程序设计语言中，当碰到一个算术表达式时，我们完全可以“就事论事”处理，而不必考虑它所处的上下文。然而，在自然语言中，随便一个词 ...

在龙书Compilers - Principles, Techniques, & Tools英文版第2版42页中，提到上下文无关文法有以下的特点： 一个终结符的有限集（A set of terminal symbols），构成文法的最基本的字符就是这个文法的终结符，例如一 ...

上下文无关文法 下面给出一个例子： 上下文无关文法的推导 生成树 下面给出一个例子： 歧义文法 如果一个字符串有多个推导，或者有多个生成树可以生成同样的字符串，则称这个文法是歧义的。如果每个字符串都只对应于一个生成树，则称这个文法是非歧义的。 下面给出 ...

这个是在语法分析阶段学习到的概念。 若一个形式文法G = (N, Σ, P, S) 的产生式规则都取如下的形式：V->w，则谓之。其中 V∈N ，w∈(N∪Σ)* 。 上下文无关文法取名为“上下文无关”的原因就是因为字符 V 总可以被字串 w 自由替换，而无需考虑字符 V 出现的上下文 ...