Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիւ:
Հատոր:
ISSN:
Լրացուցիչ տեղեկութիւն:
Վերնագիր:
On Generalized Primitive Recursive String Functions
Այլ վերնագիր:
Ստեղծողը:
Խորագիր:
Elementary mathematics; Arithmetic ; Mathematics
Չվերահսկուող բանալի բառեր:
String function ; Primitive recursive string function ; Superposition ; Alphabetic primitive recursion.
Ծածկոյթ:
Ամփոփում:
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.