A transition system is a formal model that represents possible states of a system and the transitions between those states. It is used in computer science and AI to reason about dynamic behavior, verification, planning, and state-based computation.
In theoretical computer science, a transition system is a concept used in the study of computation. It is used to describe the potential behavior of discrete systems. It consists of states and transitions between states, which may be labeled with labels chosen from a set; the same label may appear on more than one transition. If the label set is a singleton, the system is essentially unlabeled, and a simpler definition that omits the labels is possible.