Apart from improving definition of rule termination decision and reducing time complexity, we can make it as theory base to studying ECA Active Rule.

 
  • 这一算法提高了规则可终止性判定的精确度,降低了时间复杂度,可以作为进一步主动规则分析的理论基础。
今日热词
目录 附录 查词历史