Узагальнена композиційна модель символьної обробки

Abstract

У концептуально-методологічному середовищі композиційного та експлікативного програмування розглядається задача побудови системи взаємопов’язаних адекватних математичних моделей семантики програм символьної обробки, що відображають природну логіку процесів програмування та специфіку предметної області. Запропоновано загальне поняття композиційної системи символьної обробки як абстрактну основу такої експлікації та продемонстровано його розгортання до більш конкретних моделей.

In the conceptual and methodological environment of compositional and explicative programming, a task of developing a system of interrelated adequate mathematical models of semantics of symbol processing programs that capture natural logics of programming processes and specifics of the object area, is considered. A general notion of verbal processing compositional system as an abstract basis of such an explication is proposed, and its evolution towards more concrete models is shown.

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