In theoretical computer science, a discrete system is a system with a countable number of states.
A final discrete system is often modeled with a directed graph and is analyzed for correctness and complexity according to computational theory.
Because discrete systems have a countable number of states, they may be described in precise mathematical models.
A computer is a finite-state machine that may be viewed as a discrete system.
One such method involves sampling a continuous signal at discrete time intervals.