每种程序设计语言都有描述程序语法结构的规则。例如，Pascal程序由程序块（又叫分程序）构成，程序块由语句组成，语句由表达式组成，表达式由记号组成等等。这些规则可以用上下文无关文法或BNF范式（Backus-Naur Form）描述。 编译器常用的文法分析方法有自上而下和自下而上两种。正如它们的名字所示，自上而下分析器建立分析树是从根结点到叶结点，而自下而上分析器恰好反过来。它们的共同点是从左向右地扫描输入，每次一个符号。 最

本程序要求用户在控制台里输入非终极符，终结符与产生式，然后对用户输入的文法进行分析，得出first集 与follow 集，并打印出预测分析表用户决定是否继续进行句型分析，如继续则给出符号分析栈的实现，从而判断刚输入的句子是否为符合该文法的句子。 该程序遵循LL（1） 文法FIRST（A）的构造：是A的所有可能推导的开头终结符或可能的ε FOLLOW（A）是所有句型中出现在紧接A之后的非终结符或“#” 预测分析程序 构造LL（1）分