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