Методи нумерації дискретних послідовностей
На основі нумерацій скінченних дискретних послідовностей побудовано нумерації для чотирьох команд машини з необмеженими регістрами (МНР). За допомогою цих бієкцій визначено нумерації для усіх програм МНР. Цель работы. Разработать взаимно однозначные нумерации натуральными числами конечных дискретных...
Збережено в:
| Опубліковано в: | Кібернетика та комп’ютерні технології |
|---|---|
| Дата: | 2021 |
| ISSN: | 2707-4501 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2021
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/180999 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Методи нумерації дискретних послідовностей / М.А. Гупал // Кібернетика та комп’ютерні технології: Зб. наук. пр. — 2021. — № 2. — С. 63-67. — Бібліогр.: 2 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862678777250709504 |
|---|---|
| author | Гупал, М.А. |
| author_facet | Гупал, М.А. |
| citation_txt | Методи нумерації дискретних послідовностей / М.А. Гупал // Кібернетика та комп’ютерні технології: Зб. наук. пр. — 2021. — № 2. — С. 63-67. — Бібліогр.: 2 назв. — укр. |
| collection | DSpace DC |
| container_title | Кібернетика та комп’ютерні технології |
| description | На основі нумерацій скінченних дискретних послідовностей побудовано нумерації для чотирьох команд машини з необмеженими регістрами (МНР). За допомогою цих бієкцій визначено нумерації для усіх програм МНР.
Цель работы. Разработать взаимно однозначные нумерации натуральными числами конечных дискретных последовательностей, программ и вычислимых функций. Результаты. На основе нумераций конечных дискретных последовательностей построены нумерации для четырех команд машины с неограниченными регистрами (МНР) в натуральные числа вида 4u, 4u +1, 4u+2, 4u+3 соответственно. Каждая программа состоит из конечного списка команд. На основе биекций для четырех команд МНР определены взаимно однозначные нумерации для всех программ МНР. Таким образом, на основе данной программы P можно эффективно найти ее кодовый номер γ(P), и наоборот, на основе данного номера n можно эффективно найти программу Pn = γ⁻¹(n).
Purpose of the article. To develop synonymous numerations by the natural numbers of eventual discrete sequences programs and calculable functions mutually. Results. On the basis of numerations of eventual discrete sequences numerations are built for four commands of machine with unlimited registers (MUR) in the natural numbers of type of 4u, 4u +1, 4u+2, 4u+3 accordingly. Every program consists of complete list of commands. On the basis of bijection for four commands of MUR certainly mutually synonymous numerations for all programs of MUR. Thus, on the basis of the set program it is possible effectively to find its code number, and vice versa, on the basis of the set number it is possible effectively to find the program.
|
| first_indexed | 2025-12-07T15:41:22Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-180999 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 2707-4501 |
| language | Ukrainian |
| last_indexed | 2025-12-07T15:41:22Z |
| publishDate | 2021 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Гупал, М.А. 2021-10-26T15:42:38Z 2021-10-26T15:42:38Z 2021 Методи нумерації дискретних послідовностей / М.А. Гупал // Кібернетика та комп’ютерні технології: Зб. наук. пр. — 2021. — № 2. — С. 63-67. — Бібліогр.: 2 назв. — укр. 2707-4501 DOI:10.34229/2707-451X.21.2.6 https://nasplib.isofts.kiev.ua/handle/123456789/180999 519.272.2 На основі нумерацій скінченних дискретних послідовностей побудовано нумерації для чотирьох команд машини з необмеженими регістрами (МНР). За допомогою цих бієкцій визначено нумерації для усіх програм МНР. Цель работы. Разработать взаимно однозначные нумерации натуральными числами конечных дискретных последовательностей, программ и вычислимых функций. Результаты. На основе нумераций конечных дискретных последовательностей построены нумерации для четырех команд машины с неограниченными регистрами (МНР) в натуральные числа вида 4u, 4u +1, 4u+2, 4u+3 соответственно. Каждая программа состоит из конечного списка команд. На основе биекций для четырех команд МНР определены взаимно однозначные нумерации для всех программ МНР. Таким образом, на основе данной программы P можно эффективно найти ее кодовый номер γ(P), и наоборот, на основе данного номера n можно эффективно найти программу Pn = γ⁻¹(n). Purpose of the article. To develop synonymous numerations by the natural numbers of eventual discrete sequences programs and calculable functions mutually. Results. On the basis of numerations of eventual discrete sequences numerations are built for four commands of machine with unlimited registers (MUR) in the natural numbers of type of 4u, 4u +1, 4u+2, 4u+3 accordingly. Every program consists of complete list of commands. On the basis of bijection for four commands of MUR certainly mutually synonymous numerations for all programs of MUR. Thus, on the basis of the set program it is possible effectively to find its code number, and vice versa, on the basis of the set number it is possible effectively to find the program. uk Інститут кібернетики ім. В.М. Глушкова НАН України Кібернетика та комп’ютерні технології Математичне моделювання та чисельні методи Методи нумерації дискретних послідовностей Методы нумерации дискретных последовательностей Methods of Numeration of Discrete Sequences Article published earlier |
| spellingShingle | Методи нумерації дискретних послідовностей Гупал, М.А. Математичне моделювання та чисельні методи |
| title | Методи нумерації дискретних послідовностей |
| title_alt | Методы нумерации дискретных последовательностей Methods of Numeration of Discrete Sequences |
| title_full | Методи нумерації дискретних послідовностей |
| title_fullStr | Методи нумерації дискретних послідовностей |
| title_full_unstemmed | Методи нумерації дискретних послідовностей |
| title_short | Методи нумерації дискретних послідовностей |
| title_sort | методи нумерації дискретних послідовностей |
| topic | Математичне моделювання та чисельні методи |
| topic_facet | Математичне моделювання та чисельні методи |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/180999 |
| work_keys_str_mv | AT gupalma metodinumeracíídiskretnihposlídovnostei AT gupalma metodynumeraciidiskretnyhposledovatelʹnostei AT gupalma methodsofnumerationofdiscretesequences |