One can think of each guess as "forking" a new copy of the Turing machine to follow each of the possible paths forward, and if at least one machine finds a route of distance less than k, that machine accepts the input.
Свако погађање се може посматрати као прављење нове копије Тјурингове машине како би се пратио сваки могући пут напред, и ако барем једна машина нађе путању дужине мање од k, та машина прихвата улаз.