В теоретической информатике дискретная система — это система со счетным числом состояний . Дискретным системам можно противопоставить непрерывные системы, которые также можно назвать аналоговыми системами. Конечная дискретная система часто моделируется с помощью ориентированного графа и анализируется на предмет правильности и сложности в соответствии с теорией вычислений . Поскольку дискретные системы имеют счетное число состояний, их можно описать с помощью точных математических моделей .
Компьютер — это конечный автомат , который можно рассматривать как дискретную систему. Поскольку компьютеры часто используются для моделирования не только других дискретных систем, но и непрерывных систем, были разработаны методы представления реальных непрерывных систем как дискретных. Один из таких методов предполагает выборку непрерывного сигнала через дискретные интервалы времени.