Задание по мат.логике

Задание по мат.логике
Имеется пример f(x) = [sqrt(x)]. Т.е. квадратный корень из Х. Скобки [ ] означают целую часть.
Нужно описать принцип работы Машины Тьюринга для решения данного примера. Сама программа не нужна, главное передать смысл и суть решения.
Числа простые, т.е. палочка (+ обычные символы по МТ, т.е. пустое место и т.п.)