Az állapot exponenciálisan rövidebb leírása nem csupán azzal az előnnyel jár, hogy ezt klasszikusan meg lehet indokolni, hanem tömören meghatározza azokat a műveleteket is, amelyeket az algoritmus implementálásához a szoftververemen keresztül kell propagálni. Ezért ...