Теория алгоритмов: машины Тьюринга, Поста и Нормальные алгорифмы Маркова (автор: Морозова Арина)