表面生成的高效算法

给出一种方法，从逻辑形式的角度而非词串角度来“反转”逻辑语法并进行显示。采用 LR 编译技术，使递归下降生成算法能够以类似 LR 解析器执行前缀合并的方式进行“函数组合”。这改进了语义主导的生成器，导致搜索空间大幅缩小。可以变化语义前瞻的量量，并自动找到表大小与结果非决定性之间的合适的权衡点。