A
discrete system is a 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.