Transition system
= Transition system
{wiki=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.