Примітивна програмна алгебра обчислюваних функцій на множині графів

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

Full description

Saved in:
Bibliographic Details
Published in:Таврический вестник информатики и математики
Date:2009
Main Author: Снігур, Н.М.
Format: Article
Language:Ukrainian
Published: Кримський науковий центр НАН України і МОН України 2009
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/18234
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:Примітивна програмна алгебра обчислюваних функцій на множині графів / Н.М. Снігур // Таврический вестник информатики и математики. — 2009. — № 2. — С. 85-89. — Бібліогр.: 7 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
Description
Summary:Данная статья посвящена изучению некоторых свойств примитивных программных алгебр многоместных функций над множеством конечных графов. Найдено порождающее множество алгебры частично-рекурсивных функций. Изложенные результаты являются дополнением результатов, полученных ранее для векторных, матричных, реляционных и табличных функций. Дана стаття присвячена вивченню деяких властивостей примітивних програмних алгебр багатомісних функцій над множиною скінчених графів. Знайдено породжуючу множину алгебри частково-рекурсивних функцій. Викладені результати є доповненням результатів, отриманих раніше для векторних, матричних, реляційних та табличних функцій. This paper is devoted to studing certain properties of primitive program algebra of n-ary functions defined for the set of finite grafs. The generating set for the partially recursive funtions algebra is found. The results presented are the continuation of the previously carried out research for vector, matrix, relation and table functions.
ISSN:1729-3901