離散システム

理論計算機科学において、離散システムとは、可算個の状態を持つシステムのことである。離散システムは、アナログシステムとも呼ばれる連続システムとは対照的である。最終的な離散システムは、多くの場合、有向グラフでモデル化され、計算理論に基づいて正当性と複雑性が分析される。離散システムは可算個の状態を持つため、精密な数学モデルで記述することができる。

コンピュータは有限状態機械であり、離散システムとみなすことができる。コンピュータは、他の離散システムだけでなく連続システムのモデル化にも用いられることが多いため、現実世界の連続システムを離散システムとして表現する方法が開発されてきた。そのような方法の一つとして、連続信号を離散的な時間間隔でサンプリングする方法がある。