...durch Graphen

gerichteter Graph G = (V, E), d. h. E⊆V²

• V als Menge der Zustände eines Systems
• E als Menge der Zustandsübergänge

Beispiel: Missionare und Kannibalen.

Zustandsmenge V⊆{0, 1, 2, 3}⁶ mit (L_M, L_K, B_M, B_K, R_M, R_K)∈V$\iff$…

Zustandsübergänge: ((L_M, L_K, B_M, B_K, R_M, R_K),(L_M', L_K', B_M', B_K', R_M', R_K'))∈E$\iff$…