Diskrétní stavový prostor

Stav $s\in S,A,B,C,D,G$ Akce $a\in \mathcal{A}(s)$ Přechodová funkce $s^{\prime }=result(s,a)$ Počáteční stav $s_0\in \mathcal{S},s_0=S$ Množina cílových stavů ${\mathcal{S}}_G\subset \mathcal{S}$ Graf Fronta Zásobník