Transition system

A **transition system** is a mathematical model used to describe the behavior of a system in terms of states and transitions. It is particularly useful in fields such as computer science, particularly in the study of formal verification, automata theory, and modeling dynamic systems. A transition system is formally defined as a tuple \( T = (S, S_0, \Sigma, \rightarrow) \), where: - \( S \): A set of states.