Проблема повноти в класі функцій над записами, які зберігають денотати

Скорочена інформація про документ
dc.contributor.authorЗахарченко, Тарас Леонідовичuk
dc.contributor.authorРедько, Ігор Володимировичuk
dc.contributor.authorZakharchenko, T. L.en
dc.contributor.authorRedko, I. V.en
dc.contributor.authorЗахарченко, Т. Л.ru
dc.contributor.authorРедько, И. В.ru
dc.date.accessioned2016-10-29T22:52:54Z
dc.date.available2016-10-29T22:52:54Z
dc.date.issued2015
dc.description.abstractenBackground. Modern range of IT problems forces researchers to not only consider solutions of programmers’ problems, but processes of their solution. That is why researches of generally valid organization structures of the processes become the most important. Distinct place in the researches take problems related with building of algebraic characteristics of pragmatically-conditioned function classes, including completeness problems solutions in corresponding algebras. Objective. Solution of completeness problem for class of computable manipulative functions on records. Term “manipulative” is specified as property of function to preserve denotations (atomic elements, which form records). Methods. Primitive program algebra (PPA) has been chosen as instrument for the research of this class of computable functions. Solution of PPA completeness problem for manipulative functions on n-tuples formed solution basis of completeness problem and basis of generative functions system creation. Buildings, made in the paper, are based on algebraic methods of program analysis and methods of compositional programming. Results. Solution of completeness problem for class of computable manipulative functions on records is described. Conclusions. Results yielded may be utilized for further theoretical and applied researches of record manipulation methods, uncovering algebraic characteristics of manipulation functions classes on perspective carriers, for instance, lists, stacks, queues etc., programming languages semantics formalization, which use records as data type.en
dc.description.abstractruПроблематика. Современная информатико-технологическая проблематика такова, что необходимо непосредственное рассмотрение даже не столько результатов решений программистских задач, сколько процессов их решения. Поэтому исследования общезначимых структур организации этих процессов становятся очень актуальными. Особенное место в этих исследованиях занимает проблематика, связанная с построением алгебраических характеристик прагматически обусловленных классов функций, в т.ч. с решением проблем полноты в соответствующих алгебрах. Цель исследования. Решение проблемы полноты в классе вычислимых манипуляционных сохраняющих денотаты функций над записями. Манипуляционность уточняется посредством свойства функции сохранять денотаты (атомарные элементы, формирующие записи). Методика реализации. В качестве инструмента исследования данного класса вычислимых функций в работе выбрана примитивная программная алгебра (ППА). В основу решения проблемы полноты данной ППА и построения системы ее порождающих положен результат по полноте ППА над классом манипуляционных функций над кортежами. Проведенные в работе построения базируются на алгебраических методах исследования программ и методах композиционного программирования. Результаты исследования. Описано решение проблемы полноты в классе вычислимых манипуляционных функций над актуальными носителем – записями. Выводы. Полученные результаты могут быть применены для дальнейших теоретических и прикладных исследований методов манипулирования записями, построения алгебраических характеристик классов манипуляционных функций над перспективными носителями, например списками, стеками, очередями и т.п., для формализации семантики языков программирования, использующих записи как тип данных.ru
dc.description.abstractukПроблематика. Сучасна інформатико-технологічна проблематика така, що необхідний безпосередній розгляд навіть не стільки результатів розв’язків програмістських задач, скільки процесів їх розв’язання. Тому дослідження загальнозначимих структур організації цих процесів стають сьогодні надзвичайно актуальними. Особливе місце у цих дослідження посідає проблематика, пов’язана з побудовою алгебричних характеристик прагматично обумовлених класів функцій, у т.ч. з рішенням проблем повноти у відповідних алгебрах. Мета дослідження. Вирішення проблеми повноти в класі обчислюваних маніпуляційних функцій над записами, які зберігають денотати. Тут маніпуляційність уточнюється за допомогою властивості функції зберігати денотати (атомарні елементи, що формують записи). Методика реалізації. Як інструмент дослідження цього класу обчислюваних функцій у роботі вибрана примітивна програмна алгебра (ППА). В основу вирішення проблеми повноти цієї ППА та побудови системи її породжувальних покладено результат щодо повноти ППА над класом маніпуляційних функцій над кортежами. Проведені в роботі побудови базуються на алгебричних методах дослідження програм і методах композиційного програмування. Результати дослідження. Описано рішення проблеми повноти в класі обчислюваних маніпуляційних функцій над актуальним носієм – записами. Висновки. Отримані результати можуть бути застосовані для подальших теоретичних та прикладних досліджень методів маніпулювання записами, побудови алгебричних характеристик класів маніпуляційних функцій над перспективними носіями, наприклад списками, стеками, чергами тощо, для формалізації семантики мов програмування, які використовують записи як тип даних.uk
dc.format.pagerangeС. 23-31uk
dc.identifier.citationЗахарченко Т. Л. Проблема повноти в класі функцій над записами, які зберігають денотати / Т. Л. Захарченко, І. В. Редько // Наукові вісті НТУУ «КПІ» : науково-технічний журнал. – 2015. – № 5(103). – С. 23–31. – Бібліогр.: 16 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/17882
dc.language.isoukuk
dc.publisherНТУУ «КПІ»uk
dc.publisher.placeКиївuk
dc.source.nameНаукові вісті НТУУ «КПІ»: науково-технічний журналuk
dc.status.pubpublisheduk
dc.subjectпроблема повнотиuk
dc.subjectденотатиuk
dc.subjectпримітивні програмні алгебриuk
dc.subjectcompleteness problemen
dc.subjectdenotationsen
dc.subjectprimitive program algebrasen
dc.subjectпроблема полнотыru
dc.subjectденотатыru
dc.subjectпримитивные программные алгебрыru
dc.subject.udc519.683.8uk
dc.titleПроблема повноти в класі функцій над записами, які зберігають денотатиuk
dc.title.alternativeCompleteness Problem in Preserving Denotations Function Class on Recordsen
dc.title.alternativeПроблема полноты в классе сохраняющих денотаты функций над записямиru
dc.typeArticleuk
thesis.degree.level-uk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
NV2015_5_3Zakharchenko.pdf
Розмір:
326.38 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
7.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Наукові вісті НТУУ «КПІ»: науково-технічний журнал, № 5(103)