If M exceeds n steps, it can halt and reject, so there is no need to determine if M halts on x.
Αν η M υπερβαίνει τα n βήματα, μπορεί να τερματίσει και να απορρίψει, έτσι δεν υπάρχει καμία ανάγκη να προσδιοριστεί αν η M σταματά στο x.