解释： 【计】 可达的
reachable point 【计】 可达点 reachable set 【化】 可达集; 能达集 reachable state 【化】 可达状态; 能达状态 reachable symbol 【计】 可达符号
