по завершению "обработки" ячейки (i), что не является операцией машины Тюринга (если я ничего не путаю) указатель может указывать p 1) на следующую (i+1) 2) следующую пропустить (i+2) 3) переход (N) имхо, проще чем смещение +/- затем "обработать" ячейку по указателю i=p