Грамматико-алгоритмические структурные модели метаалгоритмов
На основе формализмов грамматических и алгоритмических структур разработан формализм грамматико-алгоритмических структур. Такие формальные структуры используют возможности структурного представления алгоритмов в виде последовательности образующих алгоритмов, связанных операциями композиции и условно...
Saved in:
| Published in: | Математичні машини і системи |
|---|---|
| Date: | 2010 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/47352 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Грамматико-алгоритмические структурные модели метаалгоритмов / В.И. Шинкаренко, В.М. Ильман, Г.Г. Кроль // Мат. машини і системи. — 2010. — № 1. — С. 3-16. — Бібліогр.: 12 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862739131700871168 |
|---|---|
| author | Шинкаренко, В.И. Ильман, В.М. Кроль, Г.Г. |
| author_facet | Шинкаренко, В.И. Ильман, В.М. Кроль, Г.Г. |
| citation_txt | Грамматико-алгоритмические структурные модели метаалгоритмов / В.И. Шинкаренко, В.М. Ильман, Г.Г. Кроль // Мат. машини і системи. — 2010. — № 1. — С. 3-16. — Бібліогр.: 12 назв. — рос. |
| collection | DSpace DC |
| container_title | Математичні машини і системи |
| 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.
|
| first_indexed | 2025-12-07T20:07:27Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-47352 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Russian |
| last_indexed | 2025-12-07T20:07:27Z |
| publishDate | 2010 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| 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 |
| spellingShingle | Грамматико-алгоритмические структурные модели метаалгоритмов Шинкаренко, В.И. Ильман, В.М. Кроль, Г.Г. Обчислювальні системи |
| title | Грамматико-алгоритмические структурные модели метаалгоритмов |
| title_alt | Граматико-алгоритмічні структурні моделі метаалгоритмів Grammatical-algorithmic structure models of metaalgorithms |
| title_full | Грамматико-алгоритмические структурные модели метаалгоритмов |
| title_fullStr | Грамматико-алгоритмические структурные модели метаалгоритмов |
| title_full_unstemmed | Грамматико-алгоритмические структурные модели метаалгоритмов |
| title_short | Грамматико-алгоритмические структурные модели метаалгоритмов |
| title_sort | грамматико-алгоритмические структурные модели метаалгоритмов |
| topic | Обчислювальні системи |
| topic_facet | Обчислювальні системи |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/47352 |
| 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 |