Алгоритм. Машина тьюринга

[Sampet]

Доброго времени суток)
У меня затруднение: есть функция(A&B)≡С и есть лента машины Тьюринга, на которой заданы значения A,B и С (",100,11, 1011" или любые другие, алгоритм должен считать функцию относительно любых значений) задача алгоритма в том, что бы брать по одному символу из каждого значения и считать по функции - результат записывать перед значениями, если не хватает значащих символов, то принимать значение равное 0.

Часть программы написал, но видимо где-то и что-то недопонимаю, потому что не могу заставить после просчета Q=(A&B) считать Q≡С. Или получается слишком много состояний(

Подскажите что-нибудь.
Могу выкинуть кусок алгоритма который есть, если нужно.