标签:候选 文法 二义性 终结 判断 Follow First
在清华大学出版社的编译原理与技术第二版,第4章第2.3节给出了一个理论解决方案:
1.求出文法所有非终结符号的First集,
2.求出文法所有非终结符号的Follow集,
3.进行两步判断:
(1)非终结符号A的任何两个候选式的first集合不相交
(2)f若A的某个候选式可以推导出ε,则其它候选式的First集与Follow(A)不相交。
满足以上两个条件的文法一定是非二义性的。
如果一个文法有唯一的左递归或右递归,那么就不具有二义性。
标签:候选,文法,二义性,终结,判断,Follow,First 来源: https://blog.csdn.net/qq_41148436/article/details/113918110
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。