Решение задач. Математическая Логика

Задачи в файле , решить любые 4-5 задач по условию ниже :

Решить задачу нужно двумя способами :по Тьюрингу и по нормальным алгоритмам Маркова. Желательно офрмить в word , чтобы я мог распечатать отчет.