Грамматико-алгоритмические структурные модели метаалгоритмов

Abstract

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

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

The formalism of grammatical-algorithmic structures is developed on a basis of such formalisms as grammatical and algorithmic structures. Such formal structures use possibilities of structural representation of algorithms in the form of sequence of the forming algorithms connected by operations of a composition and conditional performance. Means of grammatical structures allow to separate a subset of algorithms for the decision of one or several problems from all set of algorithms which can be constructed within the algorithmic structure. Concept of metaalgorithm formalized by grammatical-algorithmic structures. Some possibilities of grammatical-algorithmic structures are shown on an example of modelling the metaalgorithm for sorting.