lua-2pda:Lua语言的双向确定性有限下推自动机(2PDA)

时间:2024-03-10 13:34:03
【文件属性】:

文件名称:lua-2pda:Lua语言的双向确定性有限下推自动机(2PDA)

文件大小:691KB

文件格式:ZIP

更新时间:2024-03-10 13:34:03

C

Lua语言的双向下推自动机 凯文·史蒂文斯(Kevin Stevens) 荣誉学院的Barrett提出的部分满足毕业要求的论文 巴雷特荣誉论文委员会于2020年5月批准: 董事严Shoshitaishvili 王若愚 亚利桑那州立大学 2020年5月 抽象的 针对Lua语言开发了一种双向确定性有限下推自动机(“ 2PDA”)。 对照专用的Lua语法测试套件和Lua的参考实现所使用的测试套件对2PDA进行了评估,并全面通过了这两个测试。 致谢 作者要衷心感谢亚利桑那州立大学的Yan Shoshitaishvili博士建议,监督和指导该项目,并感谢Ruoyu Wang博士和Faezeh Kalantari博士的重要投入和指导。 还要感谢Shahabudeen Sajith协助分析Lua长括号的可分析性。 最后,作者还要感谢亚利桑那州立大学荣誉学院的Barrett,提供了进行此类研究的


网友评论