A discrete system is a system with a countable set of states, often modeled with formal structures such as directed graphs or finite-state machines. Discrete systems contrast with continuous systems and can be analyzed using computational theory for correctness, reachability, and complexity.
Any system with a countable number of states. Discrete systems may be contrasted with continuous systems, which may also be called analog systems. 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. Because computers are often used to model not only other discrete systems but continuous systems as well, methods ha