可达集 meaning in English

accessible set
attainable set
reachable set,

This paper points out the mistakes of the current termination analysis algorithms for active rule set based on triggering and activation graphs , proposes triggering reachability and triggering reaching set , on the basis of which an amendment to the original algorithm is given
摘要指出基于触发图和活化图主动规则终止性分析算法的错误，提出触发可达和触发可达集，并在此基础上对原算法进行修正。