Как составить алгоритм для машины тьюринга?

Question

[Durilka96]

Помогите решить задачу по составлению программы для машины тьюринга?
A={0,1,3} Пусть P имеет вид Q–R, где Q и R – непустые слова из символов 0, 1 и 2. Трактуя Q и R как записи чисел в троичной системе счисления (возможно, с незначащими нулями) и считая, что Q≥R, выдать в качестве ответа запись разности этих чисел в той же троичной системе.