stavový prostor

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