MLIRF方法的改进和完善研究

针对形式规约的表达、获取、复用和检验问题，项目负责人于1995年提出了MLIRF方法及有关的实现技术，实现了实验性系统SAQ实验结果表明，一方面MLIRF方法有若干值得重视的优点，另一方面，它还有待进一步完善。本项目旨在改进和完善MLIRF方法，研究内容包括：提高获取复杂规约的能力；提高在计算机上直接执行规约的效率；实现技术的改进与完善；对有实际意义的领域进行应用探索。通过本项目的研究，提高了表达复杂形式规约的能力，对上下文无关语言递归函数实现了高效求值，其他方面实现技术也有很大改进，实现了SAQ（1.1版），并成功用于若干非平凡问题（包括语言转换器BASIC2C，乐谱处理系统SMART，和自然语言处理的一些例子），检验了本项目研究的结果。