Սահմանվում է ընդհանրացված պարզագույն կարգընթաց բառային ֆունկցիայի հասկացությունը, ինչպես նաև հետազոտվում են այդպիսի ֆունկցիաների փոխառնչությունները սովորական ձևով սահմանված ([1], [2]) պարզագույն կարգընթաց բառային ֆունկցիաների հետֈ Ապացուցվում է, որ ցանկացած ընդհանրացված պարզագույն կարգընթաց բառային ֆունկցիա ամենուրեք որոշված է այն և միայն այն դեպքում, երբ այն սովորական իմաստով պարզագույն կարգընթաց բառային ֆունկցիա է:
;
Определяется понятие обобщенной примитивно рекурсивной словарной функции и исследуются взаимоотношения таких функций с примитивно рекурсивными словарными функциями ([1], [2]) в обычном смысле этого понятия. Доказывается, что обобщенная примитивно рекурсивная словарная функция всюду определена тогда и только тогда, когда она является примитивно рекурсивной словарной функцией в обычном смысле этого понятия.
oai:noad.sci.am:136006
Mar 4, 2021
Jul 29, 2020
49
https://noad.sci.am/publication/149620
Հրատարակության անուն | Ամսաթիվ |
---|---|
Mikayel Khachatryan, On Generalized Primitive Recursive String Functions | Mar 4, 2021 |