машина тюринга в четверках

нужно написать машину тюринга в четверках для нормированного сложения с логорифмической сложностью двух двоичных чисел.