Állapot alapú modellezés, állapotttér, állapotgép, absztrakció, aszinkron szorzat.
Feladatok, megoldás.
