Stavovým prostorem se v
informatice rozumí konfigurace diskrétních stavu sloužící jako výpocetní model. Formálne muže být stavový prostor definován jako ctverice [N, A, S, G], kde:
- N je množina stavu
- A je množina prechodu mezi stavy
- S je neprázdná podmnožina N obsahující pocátecní stavy
- G je neprázdná podmnožina N obsahující cílové stavy