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

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Математичні машини і системи
Datum:2010
Hauptverfasser: Шинкаренко, В.И., Ильман, В.М., Кроль, Г.Г.
Format: Artikel
Sprache:Russian
Veröffentlicht: Інститут проблем математичних машин і систем НАН України 2010
Schlagworte:
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/47352
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Грамматико-алгоритмические структурные модели метаалгоритмов / В.И. Шинкаренко, В.М. Ильман, Г.Г. Кроль // Мат. машини і системи. — 2010. — № 1. — С. 3-16. — Бібліогр.: 12 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-47352
record_format dspace
spelling Шинкаренко, В.И.
Ильман, В.М.
Кроль, Г.Г.
2013-07-12T08:39:17Z
2013-07-12T08:39:17Z
2010
Грамматико-алгоритмические структурные модели метаалгоритмов / В.И. Шинкаренко, В.М. Ильман, Г.Г. Кроль // Мат. машини і системи. — 2010. — № 1. — С. 3-16. — Бібліогр.: 12 назв. — рос.
1028-9763
https://nasplib.isofts.kiev.ua/handle/123456789/47352
519.712.1:510.51:004.42.001: 004:512
На основе формализмов грамматических и алгоритмических структур разработан формализм грамматико-алгоритмических структур. Такие формальные структуры используют возможности структурного представления алгоритмов в виде последовательности образующих алгоритмов, связанных операциями композиции и условного выполнения. Средства грамматических структур позволяют выделить из всего множества алгоритмов, которые можно построить в рамках алгоритмической структуры, подмножество алгоритмов для решения одной или нескольких задач. Средствами грамматико-алгоритмических структур формализуется понятие метаалгоритма. Некоторые возможности грамматико-алгоритмических структур показаны на примере моделирования метаалгоритма сортировки.
На основі формалізмів граматичних та алгоритмічних структур розроблено формалізм граматично-алгоритмічних структур. Такі формальні структури використовують можливості структурного представлення алгоритмів у вигляді послідовності утворюючих алгоритмів, пов’язаних операціями композиції та умовного виконання. Засоби граматичних структур дозволяють виокремити із множини алгоритмів, які можуть бути побудовані у рамках алгоритмічної структури, ті, що призначені для рішення однієї або декількох задач. Засобами граматично-алгоритмічних структур формалізоване поняття метаалгоритму. Деякі можливості граматично-алгоритмічних структур показані на прикладі моделювання метаалгоритму сортування.
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.
ru
Інститут проблем математичних машин і систем НАН України
Математичні машини і системи
Обчислювальні системи
Грамматико-алгоритмические структурные модели метаалгоритмов
Граматико-алгоритмічні структурні моделі метаалгоритмів
Grammatical-algorithmic structure models of metaalgorithms
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Грамматико-алгоритмические структурные модели метаалгоритмов
spellingShingle Грамматико-алгоритмические структурные модели метаалгоритмов
Шинкаренко, В.И.
Ильман, В.М.
Кроль, Г.Г.
Обчислювальні системи
title_short Грамматико-алгоритмические структурные модели метаалгоритмов
title_full Грамматико-алгоритмические структурные модели метаалгоритмов
title_fullStr Грамматико-алгоритмические структурные модели метаалгоритмов
title_full_unstemmed Грамматико-алгоритмические структурные модели метаалгоритмов
title_sort грамматико-алгоритмические структурные модели метаалгоритмов
author Шинкаренко, В.И.
Ильман, В.М.
Кроль, Г.Г.
author_facet Шинкаренко, В.И.
Ильман, В.М.
Кроль, Г.Г.
topic Обчислювальні системи
topic_facet Обчислювальні системи
publishDate 2010
language Russian
container_title Математичні машини і системи
publisher Інститут проблем математичних машин і систем НАН України
format Article
title_alt Граматико-алгоритмічні структурні моделі метаалгоритмів
Grammatical-algorithmic structure models of metaalgorithms
description На основе формализмов грамматических и алгоритмических структур разработан формализм грамматико-алгоритмических структур. Такие формальные структуры используют возможности структурного представления алгоритмов в виде последовательности образующих алгоритмов, связанных операциями композиции и условного выполнения. Средства грамматических структур позволяют выделить из всего множества алгоритмов, которые можно построить в рамках алгоритмической структуры, подмножество алгоритмов для решения одной или нескольких задач. Средствами грамматико-алгоритмических структур формализуется понятие метаалгоритма. Некоторые возможности грамматико-алгоритмических структур показаны на примере моделирования метаалгоритма сортировки. На основі формалізмів граматичних та алгоритмічних структур розроблено формалізм граматично-алгоритмічних структур. Такі формальні структури використовують можливості структурного представлення алгоритмів у вигляді послідовності утворюючих алгоритмів, пов’язаних операціями композиції та умовного виконання. Засоби граматичних структур дозволяють виокремити із множини алгоритмів, які можуть бути побудовані у рамках алгоритмічної структури, ті, що призначені для рішення однієї або декількох задач. Засобами граматично-алгоритмічних структур формалізоване поняття метаалгоритму. Деякі можливості граматично-алгоритмічних структур показані на прикладі моделювання метаалгоритму сортування. 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.
issn 1028-9763
url https://nasplib.isofts.kiev.ua/handle/123456789/47352
citation_txt Грамматико-алгоритмические структурные модели метаалгоритмов / В.И. Шинкаренко, В.М. Ильман, Г.Г. Кроль // Мат. машини і системи. — 2010. — № 1. — С. 3-16. — Бібліогр.: 12 назв. — рос.
work_keys_str_mv AT šinkarenkovi grammatikoalgoritmičeskiestrukturnyemodelimetaalgoritmov
AT ilʹmanvm grammatikoalgoritmičeskiestrukturnyemodelimetaalgoritmov
AT krolʹgg grammatikoalgoritmičeskiestrukturnyemodelimetaalgoritmov
AT šinkarenkovi gramatikoalgoritmíčnístrukturnímodelímetaalgoritmív
AT ilʹmanvm gramatikoalgoritmíčnístrukturnímodelímetaalgoritmív
AT krolʹgg gramatikoalgoritmíčnístrukturnímodelímetaalgoritmív
AT šinkarenkovi grammaticalalgorithmicstructuremodelsofmetaalgorithms
AT ilʹmanvm grammaticalalgorithmicstructuremodelsofmetaalgorithms
AT krolʹgg grammaticalalgorithmicstructuremodelsofmetaalgorithms
first_indexed 2025-12-07T20:07:27Z
last_indexed 2025-12-07T20:07:27Z
_version_ 1850881393486200832