Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján
100 átmenetet tartalmaz. 60 átmenetet tartalmaz. 98 átmenetet tartalmaz. 140 átmenetet tartalmaz.