语法分析是编译原理的核心部分。语法分析的作用是识别由词法分析给出的单词符号序列是否是给定文法的正确句子。
1） 不存在终结符号a使得α和β都能够推导出以a开头的串。
2） α和β中最多只有一个可以推导出空串。
3） 如果βÞ*ε，那么α不能推导出任何以FOLLOW(A)中某个终结符号开头的串。类似地，如果αÞ*ε，那么β不能推导出任何以FOLLOW(A)中某个终结符号开头的串。
英语不好，太多太多需要翻译，也难看懂，希望老师多给点细心讲解，辛苦了
原文：http://www.cnblogs.com/15linzhijie/p/4917959.html