Выберете математическую модель:

1. Автоматы

1.1. Минимизация алгоритмом Мили
1.2. Нахождение выводного слова для автомата Мили
1.3. Построение автомата Мура по автомату Мили
1.4. Построение покрывающего автомата

3.1. Минимизация ДНФ алгоритмом Квайна
3.2. Минимизация ДНФ частично заданной БФ
3.3. Нахождение полинома Жегалкина
3.4. Проверка на линейность
3.5. Проверка на монотонность
3.6. Проверка на самодвойственность
3.7. Проверка на фиктивные переменные

4.1. Машина Тьюринга
4.2. Машина Поста
4.3. Нормальный алгоритм Маркова

8.1. Коэффициент полиномиальной формулы
8.2. Наибольшее слагаемое бинома Ньютона
8.3. Неделимость
8.4. Уравнения с сочетаниями
8.5. Системы с сочетаниями
8.6. Разбиения
8.7. Перестановки
8.8. Перестановки с повторениями

9.1. Массив (лексикографический порядок)
9.2. Массив (антилексикографический порядок)
9.3. Последовательность (лексикографический порядок)
9.4. Последовательность (антилексикографический порядок)
9.5. Генерирование перстановок по индексам