Algorithmic properties of knowledge evolutions spaces
UDC
519.68: 681.51 512.573Abstract
We investigate structural and functional properties of the families of infinite algorithmic processes that model abstract operations above the configurations of an abstract knowledge space, which are generated by recursively enumerable sets of transition and stop operators that realize transformations of values of configurations components and recognition of such values as final ones.
Acknowledgement
Работа выполнена при поддержке РФФИ и Администрации Краснодарского края (06-07-96618).
References
- Костенко К.И. Трассирования конфигураций абстрактного пространства знаний // Экологический вестник научных центров Черноморского экономического сотрудничества. 2007. №2. С. 10-15.
- Янов Ю.И. Метод сверток для разрешения свойств формальных систем. Препринт ИПМ №11 за 1977 г.
- Янов Ю.И. Несколько теорем о свертках. Препринт ИПМ №95 за 1978 г.
- Костенко К.И. Классы алгоритмов и вычислений // ДАН СССР. 1985. Т. 280. С. 33-37.
- Ершов Ю.Л. Теория нумераций. М.: Наука, 1977. 440 с.
- Мальцев А.И. Алгоритмы и рекурсивные функции. М.: Наука, 1968. 340 с.
- Блюм М. Машинно-независимая теория сложности рекурсивных функций. В сб. "Сложность алгоритмов и вычислений". М.: Мир, 1974. 401-421 с.
Downloads
Submitted
2007-10-23
Published
2007-12-25
How to Cite
Kostenko K.I.
Algorithmic properties of knowledge evolutions spaces.
Ecological Bulletin of Research Centers of the Black Sea Economic Cooperation,
2007,
no. 4,
pp. 14-20.
(In Russian)
Copyright (c) 2007 Kostenko K.I.
This work is licensed under a Creative Commons Attribution 4.0 International License.
