Алгебраическая характеристика класса частично-рекурсивных графовых функцій
Рассмотрен класс вычислимых функций на множестве графов. Определено порождающее множество алгебры частично-рекурсивных функций на новом носителе — графе, а также доказана его полнота. Розглянуто клас обчислюваних функцій на множині графів. Визначено породжуючу множину алгебри частково-рекурсивних фу...
Saved in:
| Published in: | Реєстрація, зберігання і обробка даних |
|---|---|
| Date: | 2009 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем реєстрації інформації НАН України
2009
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/50398 |
| 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. — Т. 11, № 4. — С. 25-32. — Бібліогр.: 15 назв. — pос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Summary: | Рассмотрен класс вычислимых функций на множестве графов. Определено порождающее множество алгебры частично-рекурсивных функций на новом носителе — графе, а также доказана его полнота.
Розглянуто клас обчислюваних функцій на множині графів. Визначено породжуючу множину алгебри частково-рекурсивних функцій на новому носії — графі, а також доведено її повноту.
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.
|
|---|---|
| ISSN: | 1560-9189 |