Primitive programing algebra: general approfch to a problem of functional completeness
The goal of the research is development of scientific foundations of programming problems solutions genesis. Investigations carried out are based on algebraic research methods of programs and compositional programming methods. Basis of the last ones consists of program algebras with special classes...
Збережено в:
| Опубліковано в: : | Системні дослідження та інформаційні технології |
|---|---|
| Дата: | 2015 |
| Автори: | , , , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
2015
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/123561 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Primitive programing algebra: general approfch to a problem of functional completeness / P.O. Yahanov, D.I. Redko, I.V. Redko, T.L. Zakharchenko // Системні дослідження та інформаційні технології. — 2015. — № 4. — С. 83-96. — Бібліогр.: 21 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-123561 |
|---|---|
| record_format |
dspace |
| spelling |
Yahanov, P.O. Redko, D.I. Redko, I.V. Zakharchenko, T.L. 2017-09-06T15:00:52Z 2017-09-06T15:00:52Z 2015 Primitive programing algebra: general approfch to a problem of functional completeness / P.O. Yahanov, D.I. Redko, I.V. Redko, T.L. Zakharchenko // Системні дослідження та інформаційні технології. — 2015. — № 4. — С. 83-96. — Бібліогр.: 21 назв. — англ. 1681–6048 https://nasplib.isofts.kiev.ua/handle/123456789/123561 519.683.8 The goal of the research is development of scientific foundations of programming problems solutions genesis. Investigations carried out are based on algebraic research methods of programs and compositional programming methods. Basis of the last ones consists of program algebras with special classes of functions as carriers, and compositions that represent abstractions from program synthesis tools as operations. Problems of completeness in classes of computable functions that took one of the most important places in programming problems are well defined and solved in the context of program algebras. Universal method for the problem of completeness solution in primitive program algebras (PPA) on different classes of computable functions proposed in the article. Results achieved are presented as series of original statements, lemmas and theorems. The results can be applied in algebraic characteristics research of different computable functions classes in problems of programming language semantics formalization. Основним напрямком дослідження є розробка наукових засад генезису рішень програмістських задач. Проведено побудови, що базуються на алгебраїчних методах дослідження програм та методах композиційного програмування. В основі останніх лежать програмні алгебри з функціями спеціального класу у якості носія, і композиціями, які представляють абстракції інструментів програмного синтезу, у якості операцій. У рамках так званих програмних алгебр строго поставлено та вирішено проблеми отримання характеристик репрезентативних класів обчислюваних функцій, проблеми знаходження породжуючих сукупностей та базисів, що займають одне з чільних місць у програмістській проблематиці. Запропоновано загальний метод вирішення згаданих проблем у примітивних програмних алгебрах (ППА) над різними класами обчислюваних функцій. Отримані результати викладено у вигляді низки оригінальних тверджень, лем та теорем. Вони можуть бути використані у ході дослідження алгебраїчних характеристик різних класів обчислюваних функцій в задачах формалізації семантик мов програмування. Основным направлением исследования есть разработка научных основ генезиса решений программистских задач. Проведены построения, которые базируются на алгебраических методах исследования программ и методах композиционного программирования. В основе последних лежат программные алгебры с функциями специального класса в качестве носителя, и композициями, которые представляют абстракции инструментов программного синтеза, в качестве операций. В рамках так называемых программных алгебр строго поставлены и решены проблемы получения характеристик репрезентативных классов вычислимых функций, проблемы нахождения порождающих совокупностей и базисов, которые занимают одно из главных мест в программистской проблематике. Предложен общий метод решения упомянутых проблем в примитивных программных алгебрах (ППА) над разными классами вычислимых функций. Полученные результаты изложены в виде ряда оригинальных утверждений, лемм и теорем. Они могут быть использованы при исследовании алгебраических характеристик разных классов вычислимых функций в задачах формализации семантик языков программирования. en Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України Системні дослідження та інформаційні технології Математичні методи, моделі, проблеми і технології дослідження складних систем Primitive programing algebra: general approfch to a problem of functional completeness Примітивна програмна алгебра: загальний підхід до вирішення проблеми функціональної повноти Примитивная программная алгебра: общий подход к решению проблемы функциональной полноты Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Primitive programing algebra: general approfch to a problem of functional completeness |
| spellingShingle |
Primitive programing algebra: general approfch to a problem of functional completeness Yahanov, P.O. Redko, D.I. Redko, I.V. Zakharchenko, T.L. Математичні методи, моделі, проблеми і технології дослідження складних систем |
| title_short |
Primitive programing algebra: general approfch to a problem of functional completeness |
| title_full |
Primitive programing algebra: general approfch to a problem of functional completeness |
| title_fullStr |
Primitive programing algebra: general approfch to a problem of functional completeness |
| title_full_unstemmed |
Primitive programing algebra: general approfch to a problem of functional completeness |
| title_sort |
primitive programing algebra: general approfch to a problem of functional completeness |
| author |
Yahanov, P.O. Redko, D.I. Redko, I.V. Zakharchenko, T.L. |
| author_facet |
Yahanov, P.O. Redko, D.I. Redko, I.V. Zakharchenko, T.L. |
| topic |
Математичні методи, моделі, проблеми і технології дослідження складних систем |
| topic_facet |
Математичні методи, моделі, проблеми і технології дослідження складних систем |
| publishDate |
2015 |
| language |
English |
| container_title |
Системні дослідження та інформаційні технології |
| publisher |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України |
| format |
Article |
| title_alt |
Примітивна програмна алгебра: загальний підхід до вирішення проблеми функціональної повноти Примитивная программная алгебра: общий подход к решению проблемы функциональной полноты |
| description |
The goal of the research is development of scientific foundations of programming problems solutions genesis. Investigations carried out are based on algebraic research methods of programs and compositional programming methods. Basis of the last ones consists of program algebras with special classes of functions as carriers, and compositions that represent abstractions from program synthesis tools as operations. Problems of completeness in classes of computable functions that took one of the most important places in programming problems are well defined and solved in the context of program algebras. Universal method for the problem of completeness solution in primitive program algebras (PPA) on different classes of computable functions proposed in the article. Results achieved are presented as series of original statements, lemmas and theorems. The results can be applied in algebraic characteristics research of different computable functions classes in problems of programming language semantics formalization.
Основним напрямком дослідження є розробка наукових засад генезису рішень програмістських задач. Проведено побудови, що базуються на алгебраїчних методах дослідження програм та методах композиційного програмування. В основі останніх лежать програмні алгебри з функціями спеціального класу у якості носія, і композиціями, які представляють абстракції інструментів програмного синтезу, у якості операцій. У рамках так званих програмних алгебр строго поставлено та вирішено проблеми отримання характеристик репрезентативних класів обчислюваних функцій, проблеми знаходження породжуючих сукупностей та базисів, що займають одне з чільних місць у програмістській проблематиці. Запропоновано загальний метод вирішення згаданих проблем у примітивних програмних алгебрах (ППА) над різними класами обчислюваних функцій. Отримані результати викладено у вигляді низки оригінальних тверджень, лем та теорем. Вони можуть бути використані у ході дослідження алгебраїчних характеристик різних класів обчислюваних функцій в задачах формалізації семантик мов програмування.
Основным направлением исследования есть разработка научных основ генезиса решений программистских задач. Проведены построения, которые базируются на алгебраических методах исследования программ и методах композиционного программирования. В основе последних лежат программные алгебры с функциями специального класса в качестве носителя, и композициями, которые представляют абстракции инструментов программного синтеза, в качестве операций. В рамках так называемых программных алгебр строго поставлены и решены проблемы получения характеристик репрезентативных классов вычислимых функций, проблемы нахождения порождающих совокупностей и базисов, которые занимают одно из главных мест в программистской проблематике. Предложен общий метод решения упомянутых проблем в примитивных программных алгебрах (ППА) над разными классами вычислимых функций. Полученные результаты изложены в виде ряда оригинальных утверждений, лемм и теорем. Они могут быть использованы при исследовании алгебраических характеристик разных классов вычислимых функций в задачах формализации семантик языков программирования.
|
| issn |
1681–6048 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/123561 |
| fulltext |
|
| citation_txt |
Primitive programing algebra: general approfch to a problem of functional completeness / P.O. Yahanov, D.I. Redko, I.V. Redko, T.L. Zakharchenko // Системні дослідження та інформаційні технології. — 2015. — № 4. — С. 83-96. — Бібліогр.: 21 назв. — англ. |
| work_keys_str_mv |
AT yahanovpo primitiveprogramingalgebrageneralapprofchtoaproblemoffunctionalcompleteness AT redkodi primitiveprogramingalgebrageneralapprofchtoaproblemoffunctionalcompleteness AT redkoiv primitiveprogramingalgebrageneralapprofchtoaproblemoffunctionalcompleteness AT zakharchenkotl primitiveprogramingalgebrageneralapprofchtoaproblemoffunctionalcompleteness AT yahanovpo primítivnaprogramnaalgebrazagalʹniipídhíddoviríšennâproblemifunkcíonalʹnoípovnoti AT redkodi primítivnaprogramnaalgebrazagalʹniipídhíddoviríšennâproblemifunkcíonalʹnoípovnoti AT redkoiv primítivnaprogramnaalgebrazagalʹniipídhíddoviríšennâproblemifunkcíonalʹnoípovnoti AT zakharchenkotl primítivnaprogramnaalgebrazagalʹniipídhíddoviríšennâproblemifunkcíonalʹnoípovnoti AT yahanovpo primitivnaâprogrammnaâalgebraobŝiipodhodkrešeniûproblemyfunkcionalʹnoipolnoty AT redkodi primitivnaâprogrammnaâalgebraobŝiipodhodkrešeniûproblemyfunkcionalʹnoipolnoty AT redkoiv primitivnaâprogrammnaâalgebraobŝiipodhodkrešeniûproblemyfunkcionalʹnoipolnoty AT zakharchenkotl primitivnaâprogrammnaâalgebraobŝiipodhodkrešeniûproblemyfunkcionalʹnoipolnoty |
| first_indexed |
2025-11-24T06:18:08Z |
| last_indexed |
2025-11-24T06:18:08Z |
| _version_ |
1850843006541758464 |