该文针对函数语言ＭＬ并行化编译对模式匹配的要求，提出了一种能够消除函数定义二义性并保持惰性语义的编译算法。......

本文着重讨论模式匹配在函数语言中的作用,提出了函数定义和变量值定义中模式匹配的两个编译算法.分析表明,第二个编译算法较Augus......

针对当前编译教学中所遇到的教学方法单一、教学效果不佳、缺乏有效可视化手段等问题,设计支持自定义语言的可视化编译原理教学辅......

本文对有序二元决策图（ordered binary decision diagram，OBDD）进行了泛化，提出了一种新的知识编译语言—带蕴含文字的有序二元决策图（O......

为了满足烹饪机器人菜肴开发的需要,开辟烹饪机器人复现厨师操作知识的新途径。提出了基于模糊控制菜肴编译算法的新方法,对不同操......