Алгоритмическое пространство

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

Алгоритмическое пространство - это пространство алгоритмической модели, то есть:

• множество базовых сущностей (символов),
• множество возможных отношений базовых сущностей (символических структур)
• и множество разрешенных преобразующих операций с сущностями и их отношениями (трансформаций символических структур)

— совокупность которых сформирована на основе абстрактных трансляционных признаков алгоритмической модели.

Модель может быть представлена примерами использования:

1. поле в алгебре,
2. физическая модель гравитационного (сильного, слабого...) взаимодействия,
3. способы однозначного соответствия между абстрактными материальной точкой, прямой, плоскостью в геометрии и объектами с практическим применением в деятельности человека, например, в строительстве дома или в возведении египетской пирамиды;
4. физическая модель идеального газа как набор допущений обеспечивающий трансляцию: не взаимодействующие друг с другом частицы газа, упругие столкновения частиц газа только со стенками сосуда, отсутствие между частицами дальнодействующего взаимодействия.

Пространство может быть представлено примерами:

1. описание устройства машины Тьюринга (лента, управляющее устройство, правила перехода, алфавит),
2. вводимое множество с заданным на нём набором операций и отношений в общей алгебре,
3. план сражения на столе у военачальника;
4. геометрические построения на рисунке у архитектора египетской пирамиды;
5. формулы расчета состояний и изменений в идеальном газе.

https://telegra.ph/Obshchaya-teoriya-algoritmov-01-20