Лекция № 2. Машина Поста и нормальные алгорифмы Маркова 1. Машина Поста. 2. Нормальные алгорифмы Маркова.