В унарном виде - это как цепочка единичек. Например число 5 будет.
_11111_
Справа и слева должен стоять blank sysmbol. Типа признак конца ленты чтоб было что проверять.
Тогда (5 mod 2) = 1
И мы должны получить на ленточке просто единичку.
_1_
Это можно сделать поглощая пары соседних единичек. А для четного числа будет пустая лента. Тоесть остаток от деления равен нулю.
Ну вот такой алгоритм. Дальше надо делать конечный автомат который ищет пары единичек.