Definice:
Retezec w je prijat NTS M, jestlize je mozne, aby M presel do koncoveho stavu, zacne-li vypocet se vstupem w.