我正在编写一个 LALR 解析器生成器作为一个宠物项目。
我正在使用紫龙书来帮助我进行设计,我从中收集到的是解析器中有四种错误恢复方法:
- 恐慌模式:开始转储输入符号,直到找到编译器设计者预先选择的符号
- 短语级恢复:将输入字符串修改为允许当前生产减少的内容
- 错误产生:通过将错误合并到语法中来预测错误
- 全局校正:更复杂的短语级恢复版本(据我了解)
其中两个需要修改输入字符串(我想避免),另外两个需要编译器设计者预测错误并根据他们对语言的了解设计错误恢复。但是解析器生成器也有关于语言的知识,所以我很好奇是否有更好的方法来从解析错误中恢复,而无需预先选择同步标记或用错误产生填充语法。
除了选择同步标记,解析器不能只将当前生产可以减少到的所有非终结符后面的符号视为同步标记吗?我还没有真正弄清楚它的工作原理 - 我想象解析器正在一系列正在进行的产品中,但当然这不是自下而上的解析器的工作方式。试图找到一个可行的状态会不会产生太多不相关的错误?它会尝试在无效状态下恢复解析器吗?有没有一种好方法可以用有效的错误操作预先填充解析器表,以便实际的解析程序在遇到错误时不必推理下一步该去哪里?