在计算机科学中，状态空间是用来描述一组用在简单模型的离散状态。可以用多元组 [N, A, S, G] 来定义，其中：

此状态空间就是状态空间搜索要搜索的范围。借由图论可以理解及分析状态空间的含意。

状态空间有以下共同的特质：

In the theory of discrete dynamical systems, a state space is the set of values which a process can take. For example, a system in queueing theory recording the number of customers in a line would have state space {0, 1, 2, 3, ...}. State space is conceptually similar to phase space, but for discrete rather than continuous dynamical systems.