Ресурс:
Машина Тьюринга и алгоритмы Маркова. Решение задач