论文部分内容阅读
针对有环触发图对应规则集的终止性问题进行了研究，通过对触发图、活化图的分析，提出了联合公式的概念，在此基础上给出了有环触发图对应规则集的终止性判定算法，该算法的提出能够更精确地判定规则集的终止性。
基于联合公式的规则集终止性判定算法
【摘 要】
：
针对有环触发图对应规则集的终止性问题进行了研究，通过对触发图、活化图的分析，提出了联合公式的概念，在此基础上给出了有环触发图对应规则集的终止性判定算法，该算法的提出能够
【机 构】
：
上海电机学院电子信息学院
【出 处】
：
上海电机学院学报
【发表日期】
：
2006年2期
其他文献
介绍了缸内直喷式汽油机的原理及其燃烧系统的特点,包括燃烧方式,喷油器特性参数和缸内气流运动对燃烧系统的影响,缸内直喷汽油机稀燃技术尚未解决的排放问题,以及目前汽油机
对门张伯是位退休教师，赏花品茶之余，对一些生活中常用却很少有人会写的“口语”文字有研究。为此，喜欢写字的我没少上门讨教，渐渐发现张伯身上有一些与别人不太一样的小习惯。 比如他家的旧报纸、纸壳、易拉罐等生活废品，明明楼下不远处就是一家废品收购站，居民都会自己大包小包拎了直接拿到那里卖，主要是价格比那些上门收购的拾荒者贵些。可张伯却在家里整好了专等一个中年汉子上门收。起初我以为汉子是张伯的乡下亲戚，