En informática teórica , un sistema discreto es un sistema con un número contable de estados . Los sistemas discretos pueden contrastarse con los sistemas continuos, que también pueden llamarse sistemas analógicos . Un sistema discreto final suele modelarse con un gráfico dirigido y se analiza para comprobar su corrección y complejidad de acuerdo con la teoría computacional . Debido a que los sistemas discretos tienen un número contable de estados, pueden describirse en modelos matemáticos precisos .
Una computadora es una máquina de estados finitos que puede considerarse un sistema discreto. Debido a que las computadoras se utilizan a menudo para modelar no solo otros sistemas discretos sino también sistemas continuos, se han desarrollado métodos para representar sistemas continuos del mundo real como sistemas discretos. Uno de esos métodos implica muestrear una señal continua en intervalos de tiempo discretos .