Terminal state
= Terminal state
A <state> with no successor in the <transition relation>. Assuming no <terminal states> makes every finite <path in a transition system> extendible and avoids choosing a separate convention for interpreting infinite-path <temporal logic> at a dead end.