Вот ещё пока с
этим разбирался, вспомнил, что насчёт этого:
...
алгоритм - модель задачи для императивного исполнителя
Вот единственное здесь разумное и целесообразное определение. И не надо ничего лишнего прикручивать.
Поищите в инете на предмет приоритета. Редко случаются удачные находки. Это определение несравненно более адекватное, чем у Ткачёва. ИМХО.
Только я бы ещё добавил: "для
абстрактного императивного исполнителя".
- похоже,
Зверев всех нас примирил... и давно... Имеются в виду его определения математического и технологического алгоритмов (в выдержки не вошли). Суть такова:
Цитата:
Выделение «дескриптивного» и «императивного» уровней формализации исполнителя; отличие их по [Зверев, Т.1, п. 7.5] в том, что модель деятельности есть:
в первом случае — история процесса как траектория системы в пространстве её возможных состояний, математически описанном;
во втором случае - алгоритм как математический (записанный на логико-математическом языке и определяющий только знаковые преобразователи и преобразуемые объекты) либо технологический (записанный на технологическом языке и определяющий также материальные преобразователи и процессы в них).
Представление деятельности как истории является развёрнутым, а как алгоритма — свёрнутым. Можно говорить о том, что при исполнении алгоритм развёртывается в осуществлённую траекторию (историю).
Технологический алгоритм определяет конкретную реализацию математического как «программу процесса, ... без предположений о «догадливой, изобретательной и умной» системе, которая сама решит, что делать, если описание процесса неполное.» [Зверев, Т.1, с. 373]. Тем самым снимается подмеченное в [
Фридланд, 2003, п. 10.7] противоречие в случае предназначения алгоритма для исполнения такой системой — да, это возможно, но не освобождает построителя описания от необходимости «определить технологически» исполнителя алгоритма. А это не обязательно возможно для любой деятельности творческого исполнителя.
- здесь уже в пересказе.
Кстати, любой "технологический язык" по такому определению будет частным случаем языка представления технологических алгоритмов...
При этом возможной "параллельной" формой модели деятельности будут сети техопераций-"работ", обсуждавшиеся здесь:
http://forum.oberoncore.ru/viewtopic.php?p=78317#p78317. Историю же можно понимать, наверное, в смысле как истории программы у
Ершова, так и структуры Крипке у
Карпова?..
Есть мнения насчёт такого определения?