Владимир Паронджанов писал(а):
Можно пример, когда алгоритм "может в виде цепочки действий, следующих одно за другим, не выражаться"
Глубокоуважаемый Владимир Даниелович!
Возможно, Вы меня просто неправильно поняли. Я имел в виду, что существуют несколько математических формализаций понятия вычислительного алгоритма (трансформационного, преобразователя данных), в том числе рекурсивные функции Черча, нормальные алгорифмы Маркова, Равнодоступная Адресная Машина, и пр.
И при записи алгоритма в данных нотациях он выглядит совсем иначе, нежели набор
"Шаг 1. Делай "раз",
Шаг 2. Делай "два",
...", программа на Бэйсике или Фортране, или Дракон-схема.
А для алгорифма Маркова, например (из Википедии):
1. А → апельсин
2. кг → килограмм
3. М → магазинчике
4. Т → том
5. магазинчике →. ларьке (заключительная формула)
6. в том ларьке → на том рынке
Это - упорядоченный набор правил подстановки. На каждом шаге обрабатываемое слово просматривается на предмет вхождения левой части правила подстановки, начиная с первого правила. В случае нахождения такового - происходит замена символов в обрабатываемом слове на символы из правой части, и так - до срабатывания заключительной подстановки. Для приведенного примера строка "Я купил кг апельсинов в Т М" в конце превращается в "Я купил килограмм апельсинов в том ларьке".
Впрочем, существует "тезис Черча-Тьюринга", впрочем, строго не доказанный, и его производные, что все формализации вычислительных алгоритмов эквивалентны между собой (равномощны), и можно преобразовать описание алгоритма в рамках одного формализма, в другой. Таким образом, приведенный набор подстановок "алгорифма Маркова", естественно, может быть переписан как набор шагов, для тех же исходных данных приводящих к тому же результату.
Что я еще хочу
подчеркнуть. Выше я указывал, что на самом деле выразительная сила Дракон-схем выше любой из традиционных формализаций вычислительного алгоритма. Поскольку в иконы "процесс" могут вписываться ЛЮБЫЕ операции, производимые ЛЮБЫМИ исполнителями, не обязательно над символами/ячейками памяти машины. Соответственно, могут описываться не только вычислительные алгоритмы. А, например, управляющие (то, что называется "логика управления"). Это - раз. Второе - что Дракон имеет средства для описания параллельных процессов. И, наконец, в-третьих, совершенно невозможные для традиционных математических формализаций вычислительного алгоритма средства имеются в Дракон-схемах в виде икон "таймер", "ожидание", позволяющих описывать алгоритмы реального времени.