Написать алгоритм на Машине Тьюринга

На самом деле это не так то и легко на первый взгляд, но если взглянуть на механизм и вообще весь смысл то все становится на свои места и начинает быть простым, механизм двоичного вычисления уже есть в машине Тьюринга, стоит всего лишь добавить палочку " | ", так как вы хотите сдвиг вправо на число разрядов равное второму числу то понятно что вы хотите задумать что то умное, но если понять условие в конце, а именно "в четверках" то задача становится бессмысленной, я понял задумку но объясните смысл