Title:

Ընդհանրացված պարզագույն կարգընթաց բառային ֆունկցիաների մասին ; Об обобщенных примитивно рекурсивных словарных функциях

Author:

Խաչատրյան Միքայել ; Хачатрян Микаел

Type:

Հոդված

Abstract:

Սահմանվում է ընդհանրացված պարզագույն կարգընթաց բառային ֆունկցիայի հասկացությունը, ինչպես նաև հետազոտվում են այդպիսի ֆունկցիաների փոխառնչությունները սովորական ձևով սահմանված ([1], [2]) պարզագույն կարգընթաց բառային ֆունկցիաների հետֈ Ապացուցվում է, որ ցանկացած ընդհանրացված պարզագույն կարգընթաց բառային ֆունկցիա ամենուրեք որոշված է այն և միայն այն դեպքում, երբ այն սովորական իմաստով պարզագույն կարգընթաց բառային ֆունկցիա է:
; Определяется понятие обобщенной примитивно рекурсивной словарной функции и исследуются взаимоотношения таких функций с примитивно рекурсивными словарными функциями ([1], [2]) в обычном смысле этого понятия. Доказывается, что обобщенная примитивно рекурсивная словарная функция всюду определена тогда и только тогда, когда она является примитивно рекурсивной словарной функцией в обычном смысле этого понятия.