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.