Гупал, М.А.
(Кібернетика та комп’ютерні технології, 2021)
На основі нумерацій скінченних дискретних послідовностей побудовано нумерації для чотирьох команд машини з необмеженими регістрами (МНР). За допомогою цих бієкцій визначено нумерації для усіх програм МНР.