Побитовое произведение на Машине Тьюрига в 4-ках

Привет всем! Недавно мне дали задание: реализовать алгоритм логического произведения (&& в Си) двух двоичных чисел на Машине Тьюринга в нормированном виде (input output) максимальная разрядность одного числа - 8. Головка машины на ленте справа от последнего символа. Абсолютно не представляю, как мне это грамотно реализовать, учитывая, что разрядность одного числа может отличаться от другого. Можете хотя бы примерно описать алгоритм работы?