Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիվ:
Հատոր:
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.