Metadata language
Title:
On Generalized Primitive Recursive String Functions ; Об обобщенных примитивно рекурсивных словарных функциях
Author:
Khachatryan Mikayel ; Хачатрян Микаел
Type:
Uncontrolled Keywords:
String function ; Primitive recursive string function ; Superposition ; Alphabetic primitive recursion
Abstract:
The notion of generalized primitive recursive string function is introduced and relations between such functions and primitive recursive string functions in the usual sense ([1], [2]) are investigated. It is proved that any generalized primitive recursive string function is everywhere defined if and only if it is a primitive recursive string function in the usual sense.
;
Определяется понятие обобщенной примитивно рекурсивной словарной функции и исследуются взаимоотношения таких функций с примитивно рекурсивными словарными функциями ([1], [2]) в обычном смысле этого понятия. Доказывается, что обобщенная примитивно рекурсивная словарная функция всюду определена тогда и только тогда, когда она является примитивно рекурсивной словарной функцией в обычном смысле этого понятия.
Date submitted:
Date accepted:
ISSN:
Language:
Journal or Publication Title:
Mathematical Problems of Computer Science
Volume:
URL:
Additional Information:
Affiliation:
Institute for Informatics and Automation Problems