Ha az egyik állapotrégió 5 állapotot és 10 átmenetet, a másik régió 6 állapotot és 16 átmenetet tartalmaz, akkor az aszinkron szorzatukként számolt állapotgép további finomítás híján…
…pontosan 26 átmenetet tartalmaz. …pontosan 30 átmenetet tartalmaz. …pontosan 140 átmenetet tartalmaz. …pontosan 160 átmenetet tartalmaz.