A Turing gép akkor fogad el egy szót, ha amikor megáll, akkor az aktuális állapota benne van az F halmazban (már ha F-nek neveztétek a z elfogadó állapotok halmazát).
Ha bármilyen más állapotban áll meg, akkor nem fogadja el a szót.

Egyszerűen azt kell cisnálni, hogy az M₁ elfogadó állapotai az F komplementere legyen, szóval pont azok legyenek benne az elfogadó állapotok, amik M-ben a nem elfogadóak voltak, és fordítva.
Érthető?