Лабы по мат логике (машины Тьюринга, Поста, нормальные алгорифмы Маркова)
Каждая директория содержит в себе файлы задания 1, выполненного на листочке, и задания 2, выполненного в соответствующей машине программе. Так же для удобства в каждом репозитории с лабораторной лежат и программы, с помощью которых можно запустить задание 2
Пометки:
- В лабах используются только натуральные числа с нулём
- Тесты на правильности делались по четырём ситуациям:
- числитель равен нулю;
- числитель отрицателен;
- числитель не делится на "число в знаменателе";
- числитель делится на "число в знаменателе".