Машина тьюринга, подскажите идеи построения

[jivar]

1. В унарной системе найти $x/2$ при четном x. Мое решение такое: каждую вторую единицу удалить, потом уплотнить. Но как уплотнить "попроще"?
2. Целую часть $x/2$
3. Построить машину Тьюринга для распознавания длин слов в алфавите А;
4. Построить машину Тьюринга и Нормальный Алгоритм для покоординатных операций XOR, V, ^ (сложение по модулю 2, логическое сложение и умножение) над двоичными векторами.

[arseniiv]

Обычно уплотнение так описывают:
Возвращаетесь к самому первому нулю, потом идёте вправо, стираете единицу, идёте налево и заполняете ей ноль, слева от которого единица, потом снова вправо. Если встречаются два нуля подряд — значит, единиц больше не будет.

($\TeX$.)

jivar в сообщении #719402 писал(а):

V, ^

Вот как их можно набрать: \vee \wedge или \lor \land (l от logical).
Результат: $\vee \wedge$.