Машина Тьюринга

Написать программу к машине Тьюринга.
Задача: найти целые корни квадратного уравнения вида x^2+Bx+C=0. Предположим, что дискриминант > 0, входные данные – натуральные числа.
Алфавит можно задать любым удобным порядком знаков. Систему счисления тоже можно выбрать ту, с которой удобнее работать.
Нужна просто последовательность команд начиная из состояния q0. Остановка алгоритма в нужном месте обозначается STOP.