In this paper we also discussed the rule analysis theory. By defining trigger graph, active graph and de-active graph we gave a static rule analysis algorithm of deciding of the rule termination.
本文还探讨了规则分析理论，通过定义触发图、活化图和惰化图，给出一个规则终止性静态分析算法，提高了规则终止性判定的准确性。
The paper involves the conception of Internal-procedure and External-procedure, as well the study of method of rule termination analysis in search of active mechanism.
在主动机制系统中，本文提出了内部过程和外部过程的概念，并对规则终止性分析的方法进行了研究。
Users would first be sent an email warning them followed by a suspension if they carry on and finally the termination of their contract under the 'three strikes' rule.
非法用户首先会受到一封警示邮件，然后时服务暂停处理，如果用户仍旧继续下载，服务商最后会根据“三不可”规定终止合同。
应用推荐