Системи програмування: редукційні засади

Abstract

В рамках дефінітологічних досліджень систем програмування та спираючись на поняття композиційної та декомпозиційної систем (КС та ДКС відповідно) розглянуто процес породження композицій як основну складову процесу програмування. На основі поняття редукції в роботі побудовано ефективне предметне збагачення КС та ДКС до циклічних та дециклічних систем (ЦС та ДЦС відповідно). Взаємодоповнення останніх розглядається у свою чергу як редукційна дефінітна система (РДФС), що адекватно підтримує процес програмування як породження та застосування композицій. Розглянуто приклади застосування РДФС до вирішення репрезентативних задач.

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

Within the scope of definitological exploration of system of programming and based on notions of compositional and decompositional systems (CS and DCS accordingly) the process of creation of compositions as the main part of programming process has been considered. On the base of notion of reduction an effective object enrichment of CS and DCS to loop and de-loop systems (LS and DLS accordingly) has been built within this article. The mutual supplementation of the last-mentioned are considered as reduction definitical system (RDFS), that adequately supports programming process as creation and application of compositions. As an example RDFS has been applied to solve representative problems.