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