Stavový prostor

množina stavů, kterých může nabývat nějaký systém či proces, spolu s možnými přechody mezi stavy

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 editovat

V tomto článku byl použit překlad textu z článku State space na anglické Wikipedii.

Literatura editovat