【摘 要】
：
可逆变换和双向变换等数据转换问题一直是近年来的研究热点,研究人员针对该问题提出了大量相关的语言和模型。但是,这些实现往往建立在一种新的计算模型上,从而导致需要花费
【机 构】
：
北京大学信息科学技术学院软件研究所,北京大学高可信软件技术教育部重点实验室
【基金项目】
：
国家自然科学基金, 国家重点基础研究发展计划（973计划）, 国家高技术研究发展计划（863计划）
论文部分内容阅读
可逆变换和双向变换等数据转换问题一直是近年来的研究热点,研究人员针对该问题提出了大量相关的语言和模型。但是,这些实现往往建立在一种新的计算模型上,从而导致需要花费较大的学习成本去了解计算模型。另一方面,作为语法解析的基本工具,上下文无关文法对于绝大多数程序员来说都是不陌生的。提出了一种基于上下文无关文法的计算模型,用来构造字符串上的可逆变换,并对其性质和表达能力进行了探讨。采用Scheme语言实现了该计算模型,并通过在MIPS指令集上进行汇编和反汇编开发验证了该模型。验证结果表明,该模型具有较强的表达能力
其他文献
从阶梯式教学模式入手,以苏教版初二语文课文《甜甜的泥土》为例,将阶梯式教学模式应用到实际课堂教学中,并分析阶梯式教学模式在初中语文教学中的应用价值,以期对以后的初中
新的历史时期,我国的法律文化也由传统型向现代型转变,表现出由法律的工具性向法律的价值目的性、主观法向客观法、治人向治权法律理念、法律的封闭性向开放性、神秘性专有性
在处理实际问题时，一般会尽可能通过细化知识颗粒获得精确的认识，相反地，经过粗化知识颗粒来使问题得以简单化。在格值信息系统中引入知识分辨度和信息熵的概念来研究知识的分辨
环保型多功能空调扇，它包括有电扇体、香柜体和制冷机体三部分中的两种，从上至下或从左至右按其顺序组合，彼此间由紧固件连接后，设一个与所控制电器连接的电控制盘。其结构简单，成
一、反全球化的原因 1．贸易保护主义。反全球化与贸易保护主义有着天然的联系。全球化的核心逻辑就是自由贸易的立场，它要求放弃国家干预，听任市场力量自发作用，实现贸易、资
本文探讨了全球化对我国文化的影响与挑战,对我国在全球化进程中如何应对挑战进行全方位文化创新问题进行了研究,阐述了文化创新中应正确处理的几对关系.
一、简介本专利公开了一种压缩气泡式洗衣机及压缩气泡式洗涤机理,它的问世将使波轮式洗衣机和滚筒式洗衣机连同其表面冲刷洗涤机理被淘汰.压缩气泡式洗涤机理是在充分研究手
摘要：MapReduce已经发展成为大数据领域标准的并行计算模型。为了使MapReduce系统下参与计算的所有节点高度负载均衡，并且最小化空间使用率、CPU、I／O的使用时长和网络传输开销
现代写作学科在新时期20多年的发展历程中,发生了六次规模较大的学术争鸣和讨论,相继产生了一批重要的理论成果,促进了理论的不断创新和发展,推动了写作理论文化建设的进步与
种蛋消毒:采集的种蛋,应尽快送往种蛋库进行消毒.通常用甲醛和高锰酸钾熏蒸消毒.每立方米空间用高锰酸钾15克,40%的甲醛30毫升,熏蒸20至30分钟.要求消毒的空间密闭,温度25至2