PPT Slide
- A state t of a transition system is said to be reachable from state s if there is x___* so that _(s, x)=t (or t_ _(s, x) in the non-deterministic case).
- A state is called a generator if every state is reachable from it.
- A transition system is called strongly connected if every state is a generator.