2. gyakorlat: Állapot alapú modellezés