Какие типы универсальных алгоритмических моделей вы знаете?

Виды универсальных алгоритмических моделей, позволяющих описать любой алгоритм: 1. Абстрактная машина Тьюринга и Поста - абстрактная машина, предложенная для обоснования понятия алгоритма и доказательства алгоритмической разрешимости задачи;

2. Система подстановок;

3. Арифметизация алгоритма с помощью рекурсии.

Решение
Символ отображает решение или функцию переключательного типа, имеющую один вход и ряд альтернативных выходов, один и только один из которых может быть активизирован после вычисления условий, определенных внутри этого символа. Соответствующие результаты вычисления могут быть записаны по соседству с линиями, отображающими эти пути.