Lua语言的双向下推自动机 凯文·史蒂文斯（Kevin Stevens） 荣誉学院的Barrett提出的部分满足毕业要求的论文 巴雷特荣誉论文委员会于2020年5月批准： 董事严Shoshitaishvili 王若愚 亚利桑那州立大学 2020年5月 抽象的 针对Lua语言开发了一种双向确定性有限下推自动机（“ 2PDA”）。 对照专用的Lua语法测试套件和Lua的参考实现所使用的测试套件对2PDA进行了评估，并全面通过了这两个测试。 致谢 作者要衷心感谢亚利桑那州立大学的Yan Shos