不可达状态(inaccessible state)：不存在从 0]对应的顶点出 不可达状态 ：不存在从[q 对应的顶点出 到达该状态对应的顶点的路。 发，到达该状态对应的顶点的路。
基于160个网页-相关网页
This thesis proposes some optimized technologies for TAAS to reduce redundant and unreachable states.
为此，本文提出对时间自动机进行优化的方法，尽可能地减少冗余状态、去除不可达状态。
参考来源 - 基于实时规约的测试预言自动生成技术的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
除了利用原像计算避免误判之外，该算法还将可达状态和不可达状态引入到验证过程中。
It not only used pre-image computation to avoid false negative, but also incorporated reachable states and unreachable states in the verification process.
active状态意味着Connection Manager激活服务；defined状态相当于停止状态，在此状态下，Connection Manager不启动服务，使之不可达。
Active state means the Connection Manager activates the service; defined is equivalent to down, in which case the Connection Manager does not start the service, making it unreachable.
应用推荐