【摘 要】
：
This paper concerns set expressions satisfying some constraints.Although algorithmsprocessing expressions(for every kind)have been proposed in compilers,almost
【机 构】
：
Sichuan University Chengdu,Sichuan University,Chengdu,Sichuan University,Chengdu,
【出 处】
：
Journal of Computer Science and Technology
论文部分内容阅读
This paper concerns set expressions satisfying some constraints.Although algorithmsprocessing expressions(for every kind)have been proposed in compilers,almost all of them usestacks and recursions,and adopt complicated parsing techniques.However,the simplification ofset expressions can be done easily by its special characteristics.In this paper,we propose linear,nonrecursive,and thus efficient algorithms simplifying set expressions.The method can be wellused in proposition calculus.
This paper concerns set expressions satisfying some constraints.Although algorithms for expressing the expressions (for every kind) have been proposed in compilers, almost all of them usestacks and recursions, and adopt complicated parsing techniques. However, the simplification ofset expressions can be done easily by its special characteristics.In this paper, we propose linear, nonrecursive, and thus efficient algorithms simplifying set expressions. method can be wellused in proposition calculus.
其他文献
土壤结构在不同耕作制度的影响下会发生显著变化。由于土壤类型、作物,管理和气候以及试验地点、时间、方法等因素的影响,对这种变化很难进行解释和预测,为了解决这一问题,本
大约在18年之前,我还在鄂西山区的一所大学,捧着一本墨绿色封面的书,一字一句地念将下去……这本书就是当年外语学人的案头书:《外语教育往事谈》。面对这些外语界的开山祖们
摘 要：为了使子女受到良好的教育，他们便把子女送到城里上学，而学校基于规模、安全等因素的考虑，无能力提供食宿，这样就催生了校外托管机构的产生。对这部分学生的管理就成为班级管理的重点，除对他们进行常规的班级管理外，本文研究的重点主要在于对班级管理中“托管生”如何管理进行深入分析，从而提出一定的管理措施和建议。 关键词：班级管理；托管生；管理措施 一、 班级管理相关概念 （一） 班级 班级是学
中国民间传统音乐系统化发展进程需要民间音乐理论研究的完善和政府相关“非遗”政策的落实,需要专业音乐公益性研究机构的参与。当政府“非遗”政策借助相关专业研究机构与
2005年11月6日19时40分左右,河北省邢台市所辖的邢台县会宁镇尚汪庄康立石膏矿发生坍塌事故,波及太行、林旺两个石膏矿,并造成康立、太行两矿生活区部分房屋倒塌,33人遇难。
原教育部考试中心高考命题处研究员刘芃在《考试文集》中指出:“与其大量做题,不如抽出时间认真研究往年的试题,社会上流传的复习题往往粗制滥造,不得要领,不分良莠地抓着就
记者的笔触永远也比不上影像的生动,如果一定要通过记者的描绘来认识顺义区赵全营镇板桥村的党支部书记赵长江及以他为带头人的党支部一班人,恐怕还要通过一个媒介的帮忙,那
本文从系统结构的角度出发,详细阐明了当前在CAD/CAE中得到广泛应用的缩减指令集合计算机的特点。
From the perspective of system structure, this paper elaborates the
日本三菱电机公司应用1.2μm CMOS技术和高速电路设计技术研制成功的M5M23C 400P型4Mb掩模ROM,最近开始批量生产。
Japan’s Mitsubishi Electric Corporation 1.2μm CMOS
目的:从基因水平探讨抑癌基因p53 蛋白与鼻咽癌的关系。方法:本文采用Western blot 结合非放射性免疫沉淀技术,对鼻咽癌细胞株、鼻咽癌活检组织和鼻咽粘膜慢性炎症组织进行了