Примітивна програмна алгебра: загальний підхід до вирішення проблеми функціональної повноти

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
Автори:	Yahanov, P. O., Redko, D. I., Redko, I. V., Zakharchenko, T. L.
Формат:	Стаття
Мова:	English
Опубліковано:	The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2015
Онлайн доступ:	http://journal.iasa.kpi.ua/article/view/59447
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	System research and information technologies

Репозитарії

System research and information technologies

id	journaliasakpiua-article-59447
record_format	ojs
spelling	journaliasakpiua-article-594472016-07-21T13:49:47Z Primitive programing algebra: general approach to a problem of functional completeness Примитивная программная алгебра: общий подход к решению проблемы функциональной полноты Примітивна програмна алгебра: загальний підхід до вирішення проблеми функціональної повноти Yahanov, P. O. Redko, D. I. Redko, I. V. Zakharchenko, T. L. 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. Основным направлением исследования есть разработка научных основ генезиса решений программистских задач. Проведены построения, которые базируются на алгебраических методах исследования программ и методах композиционного программирования. В основе последних лежат программные алгебры с функциями специального класса в качестве носителя, и композициями, которые представляют абстракции инструментов программного синтеза, в качестве операций. В рамках так называемых программных алгебр строго поставлены и решены проблемы получения характеристик репрезентативных классов вычислимых функций, проблемы нахождения порождающих совокупностей и базисов, которые занимают одно из главных мест в программистской проблематике. Предложен общий метод решения упомянутых проблем в примитивных программных алгебрах (ППА) над разными классами вычислимых функций. Полученные результаты изложены в виде ряда оригинальных утверждений, лемм и теорем. Они могут быть использованы при исследовании алгебраических характеристик разных классов вычислимых функций в задачах формализации семантик языков программирования. Основним напрямком дослідження є розробка наукових засад генезису рішень програмістських задач. Проведено побудови, що базуються на алгебраїчних методах дослідження програм та методах композиційного програмування. В основі останніх лежать програмні алгебри з функціями спеціального класу у якості носія, і композиціями, які представляють абстракції інструментів програмного синтезу, у якості операцій. У рамках так званих програмних алгебр строго поставлено та вирішено проблеми отримання характеристик репрезентативних класів обчислюваних функцій, проблеми знаходження породжуючих сукупностей та базисів, що займають одне з чільних місць у програмістській проблематиці. Запропоновано загальний метод вирішення згаданих проблем у примітивних програмних алгебрах (ППА) над різними класами обчислюваних функцій. Отримані результати викладено у вигляді низки оригінальних тверджень, лем та теорем. Вони можуть бути використані у ході дослідження алгебраїчних характеристик різних класів обчислюваних функцій в задачах формалізації семантик мов програмування. The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2015-12-15 Article Article application/pdf http://journal.iasa.kpi.ua/article/view/59447 System research and information technologies; No. 4 (2015); 83-96 Системные исследования и информационные технологии; № 4 (2015); 83-96 Системні дослідження та інформаційні технології; № 4 (2015); 83-96 2308-8893 1681-6048 en http://journal.iasa.kpi.ua/article/view/59447/55317 Copyright (c) 2021 System research and information technologies
institution	System research and information technologies
collection	OJS
language	English
format	Article
author	Yahanov, P. O. Redko, D. I. Redko, I. V. Zakharchenko, T. L.
spellingShingle	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.
author_sort	Yahanov, P. O.
title	Примітивна програмна алгебра: загальний підхід до вирішення проблеми функціональної повноти
title_short	Примітивна програмна алгебра: загальний підхід до вирішення проблеми функціональної повноти
title_full	Примітивна програмна алгебра: загальний підхід до вирішення проблеми функціональної повноти
title_fullStr	Примітивна програмна алгебра: загальний підхід до вирішення проблеми функціональної повноти
title_full_unstemmed	Примітивна програмна алгебра: загальний підхід до вирішення проблеми функціональної повноти
title_sort	примітивна програмна алгебра: загальний підхід до вирішення проблеми функціональної повноти
title_alt	Primitive programing algebra: general approach to a problem of functional completeness Примитивная программная алгебра: общий подход к решению проблемы функциональной полноты
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.
publisher	The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"
publishDate	2015
url	http://journal.iasa.kpi.ua/article/view/59447
work_keys_str_mv	AT yahanovpo primitiveprogramingalgebrageneralapproachtoaproblemoffunctionalcompleteness AT redkodi primitiveprogramingalgebrageneralapproachtoaproblemoffunctionalcompleteness AT redkoiv primitiveprogramingalgebrageneralapproachtoaproblemoffunctionalcompleteness AT zakharchenkotl primitiveprogramingalgebrageneralapproachtoaproblemoffunctionalcompleteness AT yahanovpo primitivnaâprogrammnaâalgebraobŝijpodhodkrešeniûproblemyfunkcionalʹnojpolnoty AT redkodi primitivnaâprogrammnaâalgebraobŝijpodhodkrešeniûproblemyfunkcionalʹnojpolnoty AT redkoiv primitivnaâprogrammnaâalgebraobŝijpodhodkrešeniûproblemyfunkcionalʹnojpolnoty AT zakharchenkotl primitivnaâprogrammnaâalgebraobŝijpodhodkrešeniûproblemyfunkcionalʹnojpolnoty AT yahanovpo primítivnaprogramnaalgebrazagalʹnijpídhíddoviríšennâproblemifunkcíonalʹnoípovnoti AT redkodi primítivnaprogramnaalgebrazagalʹnijpídhíddoviríšennâproblemifunkcíonalʹnoípovnoti AT redkoiv primítivnaprogramnaalgebrazagalʹnijpídhíddoviríšennâproblemifunkcíonalʹnoípovnoti AT zakharchenkotl primítivnaprogramnaalgebrazagalʹnijpídhíddoviríšennâproblemifunkcíonalʹnoípovnoti
first_indexed	2024-04-08T15:04:36Z
last_indexed	2024-04-08T15:04:36Z
_version_	1795779383843094528

Примітивна програмна алгебра: загальний підхід до вирішення проблеми функціональної повноти

Репозитарії

Схожі ресурси