Решить две задачи по Математической логике и теории алгоритмов

Решить две задачи по Математической логике и теории алгоритмов

Задача 1

Реализовать Машину Тьюринга, сделать проверку работы МТ на примере, оценить трудоёмкость. УУ (курсор) в начале просматривает пустую ячейку справа от последнего слова. Алфавит {0,1}, если это не противоречит условиям задачи. Определить, каких символов в слове больше: нулей или единиц.

Задача 2

Написать схему, реализующую нормальный алгорифм Маркова, сделать проверку его работы на примере, оценить трудоёмкость. Определить, каких символов в слове больше: нулей или единиц.

Решение должно выглядеть примерно, как на картинках