LTS (Labelled Transition Systems)

A Labelled Transition System (LTS) is a mathematical model used to represent systems that change states through actions. It consists of a set of states, a set of actions (or labels), and rules indicating how the system transitions from one state to another when an action occurs. Think of it like a flowchart where each dot (state) connects to others via labeled arrows (actions). LTS helps in analyzing and verifying behaviors of complex systems, such as software or hardware, by providing a clear, formal way to describe all possible states and how they evolve over time.