Stavovým prostorem se v informatice rozumí konfigurace diskrétních stavů sloužící jako výpočetní model. Formálně může být stavový prostor definován jako čtveřice [N, A, S, G], kde:
N je množina stavů A je množina přechodů mezi stavy S je neprázdná podmnožina N obsahující počáteční stavy G je neprázdná podmnožina N obsahující cílové stavy
Na procházení stavového prostoru je založena metoda řešení úloh zvaná Prohledávání stavového prostoru. S analýzou stavového prostoru souvisí také Teorie grafů.
Reference
Literatura
Kategorie:Výpočetní modely