IPRI - www.ipri.kiev.ua -  IPRI - www.ipri.kiev.ua -
Title (journal) Data Rec., Storage & Processing. — 2009. — Vol. 11, N 4.
Pages 25-32
PDF, full text
Title (article) An Algebraic Characteristic of the Partially Recursive Graph Functions Class
Authors Snigur N.N.
Kiev, Ukraine
Annotation The class of all computable functions depending on finite graphs is considered. A generating set for the algebra of partially recursive graph functions is determined, and it is also proved that this set is complete. Refs: 15 titles.
Key words аlgebra оf computable functions and predicates, finite oriented graph, partially recursive graph function and predicate of random arity, search for generating sets and basic sets.
References 1. Новиков Ф.А. Дискретная математика для программистов / Ф.А. Новиков. — СПб: Питер, 2000.— 304 с.
2. Мальцев А.И. Алгоритмы и рекурсивные функции / А.И. Мальцев. — М.: Наука, 1965. — 391 с.
3. Буй Д.Б. Примитивные программные алгебры целочисленных и словарных функций / Д.Б. Буй, В.Н. Редько / Докл. АН УССР. Сер. А. — 1984. — 1573. — С. 69?71.
4. Буй Д.Б. К теории программных алгебр / Д.Б. Буй, А.В. Мавлянов. — Укр. мат. журн. — 1984.— 36, № 1576. — С. 761?764.
5. Буй Д.Б. Примитивные программные алгебры. Т. І / Д.Б. Буй, В.Н. Редько // Кибернетика. — 1984. —1575. — С. 1?7
6. Буй Д.Б. Примитивные программные алгебры. Т. II / Д.Б. Буй, В.Н Редько // Кибернетика. — 1985. —1571. — С. 28?33.
7. Буй Д.Б. Примитивные программные алгебры: автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук. / Д.Б. Буй. — Киев, 1985. — 22 с.
8. 3аславский И.Д. Граф-схемы с памятью / И.Д. 3аславский // Тр. мат. ин-та АН СССР. — 1964.— 72. — С. 99?192.
9. Голунков Ю.В. О полноте операций в системах алгоритмических алгебр / Ю.В. Голунков. // Алгоритмы и автоматы. — Казань: Изд-во Казан. ун-та, 1978.— С. 11?53.
10. Мальцев А.И. Конструктивные алгебры. I / А.И. Мальцев // Успехи мат. наук. — 1961. — 16, 1573.— С. 3?60.
11. Ершов Ю.Л. Теория нумераций / Ю.Л. Ершов. — М.: Наука, 1977. — 416 с.
12. Буй Д.Б. Теорія програмних алгебр композиційного типу та її застосування: дисерт. … докт. физ.-мат. наук / Д.Б. Буй. — К.: КНУ. — 2002. — 365с.
13. Буй Д.Б. Программологические аспекты метода неподвижной точки / Д.Б. Буй, В.Н. Редько // Кибернетика и системный анализ. — 1994. — № 5.— С. 158–167
14.Зубенко В.В. Алгебраїчні засоби специфікації інформаційних моделей / В.В.Зубенко // Наукові записки НаУКМА. Комп’ютерні науки. — 2003. — Т. 21.
15. Буй Д.Б. Композиційна семантика маніпуляцій них дій: збереження денотатів, характеристики, обчислювальність, необхідні умови повноти / Д.Б. Буй // Вісник Київ. ун-тету. Сер. фіз.-мат. науки. — 2002. — Вип. 1. — С. 169–188.
Файлы 2009-4-4.pdf