Машина Тьюринга и Нормальные Алгоритмы Маркова: два взгляда на решение