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]) в обычном смысле этого понятия. Доказывается, что обобщенная примитивно рекурсивная словарная функция всюду определена тогда и только тогда, когда она является примитивно рекурсивной словарной функцией в обычном смысле этого понятия.
oai:noad.sci.am:136006
Mathematical Problems of Computer Science
Institute for Informatics and Automation Problems
Mar 4, 2021
Jul 29, 2020
45
https://noad.sci.am/publication/149620
Edition name | Date |
---|---|
Mikayel Khachatryan, On Generalized Primitive Recursive String Functions | Mar 4, 2021 |