效绵县 Let T be a transition system.A state s is a terminal state of T if there are no state s'such that s->s'. A state s is a deadlock state of T if s is reachable and terminal. 2 3◼ Let T be a transition system. A state s is a terminal state of T if there are no state s’ such that s → 𝑠 ′ . ◼ A state s is a deadlock state of T if s is reachable and terminal