一种可用于Yacc的自动错误恢复方法

本文给出了一种使用 yacc 时的错误恢复方法,其基本思想是当出现语法错误时,超前看有限个单词,并利用超前单词的信息来纠正错误.文中错误恢复的原则是不回退分析栈,因而避免了实际中不可能做的语义回退。同 yacc 现有的错误恢复方法相比,文中的方法不需要用户关心构造编译时的错误恢复问题,用户所要做的工作只是提交 yacc 一份正确的语法产生式,错误恢复同分析程序一样也可以从产生式自动生成.本文阐明了这一方法的理论基础。以及在 yacc 环境下的实现方法,并以一个实例说明了这一方法的有效性。最后,本文还对这一方法提出进一步改进的途径.