Интерпретатор универсальной машины Тьюринга
На примере интерпретатора универсальной машины Тьюринга доказана достаточность выразительных возможностей метаязыка нормальных форм знаний (НФЗ) для постановки и решения произвольной задачи, для которой есть решение, и, тем самым, универсальность машины, реализующей
 этот язык. В процессе об...
Збережено в:
| Опубліковано в: : | Доповіді НАН України |
|---|---|
| Дата: | 2016 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2016
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/125870 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Интерпретатор универсальной машины Тьюринга / А.Ф. Кургаев, С.Н. Григорьев // Доповіді Національної академії наук України. — 2016. — № 10. — С. 28-34. — Бібліогр.: 10 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862672401738760192 |
|---|---|
| author | Кургаев, А.Ф. Григорьев, С.Н. |
| author_facet | Кургаев, А.Ф. Григорьев, С.Н. |
| citation_txt | Интерпретатор универсальной машины Тьюринга / А.Ф. Кургаев, С.Н. Григорьев // Доповіді Національної академії наук України. — 2016. — № 10. — С. 28-34. — Бібліогр.: 10 назв. — рос. |
| collection | DSpace DC |
| container_title | Доповіді НАН України |
| description | На примере интерпретатора универсальной машины Тьюринга доказана достаточность выразительных возможностей метаязыка нормальных форм знаний (НФЗ) для постановки и решения произвольной задачи, для которой есть решение, и, тем самым, универсальность машины, реализующей
этот язык. В процессе обоснования универсальности метаязыка НФЗ даны формальные текстовое
и графическое описания интерпретатора универсальной машины Тьюринга.
На прикладі інтерпретатора універсальної машини Тьюринга доведена достатність виразних можливостей
метамови нормальних форм знань (НФЗ) для постановки та розв'язку довільного завдання, для якого є розв'язок,
і отже, універсальність машини, що реалізує цю мову. У процесі обґрунтування універсальності метамови НФЗ
дано формальні текстовий і графічний описи інтерпретатора універсальної машини Тьюринга.
Using an interpreter of the universal Turing machine as the example, it is shown that the NFK (normal forms of knowledge)
meta-language expressiveness is sufficient for defining and solving any solvable problem, which proves the versatility of a
computer, which realizes this language. In the process of substantiation of the versatility of the NFK meta-language, the
formal text and graphical descriptions of an interpreter of the universal Turing machine are given.
|
| first_indexed | 2025-12-07T15:36:01Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-125870 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1025-6415 |
| language | Russian |
| last_indexed | 2025-12-07T15:36:01Z |
| publishDate | 2016 |
| publisher | Видавничий дім "Академперіодика" НАН України |
| record_format | dspace |
| spelling | Кургаев, А.Ф. Григорьев, С.Н. 2017-11-08T20:11:52Z 2017-11-08T20:11:52Z 2016 Интерпретатор универсальной машины Тьюринга / А.Ф. Кургаев, С.Н. Григорьев // Доповіді Національної академії наук України. — 2016. — № 10. — С. 28-34. — Бібліогр.: 10 назв. — рос. 1025-6415 DOI: doi.org/10.15407/dopovidi2016.10.028 https://nasplib.isofts.kiev.ua/handle/123456789/125870 004.8 На примере интерпретатора универсальной машины Тьюринга доказана достаточность выразительных возможностей метаязыка нормальных форм знаний (НФЗ) для постановки и решения произвольной задачи, для которой есть решение, и, тем самым, универсальность машины, реализующей
 этот язык. В процессе обоснования универсальности метаязыка НФЗ даны формальные текстовое
 и графическое описания интерпретатора универсальной машины Тьюринга. На прикладі інтерпретатора універсальної машини Тьюринга доведена достатність виразних можливостей
 метамови нормальних форм знань (НФЗ) для постановки та розв'язку довільного завдання, для якого є розв'язок,
 і отже, універсальність машини, що реалізує цю мову. У процесі обґрунтування універсальності метамови НФЗ
 дано формальні текстовий і графічний описи інтерпретатора універсальної машини Тьюринга. Using an interpreter of the universal Turing machine as the example, it is shown that the NFK (normal forms of knowledge)
 meta-language expressiveness is sufficient for defining and solving any solvable problem, which proves the versatility of a
 computer, which realizes this language. In the process of substantiation of the versatility of the NFK meta-language, the
 formal text and graphical descriptions of an interpreter of the universal Turing machine are given. ru Видавничий дім "Академперіодика" НАН України Доповіді НАН України Інформатика Интерпретатор универсальной машины Тьюринга Інтерпретатор універсальної машини Тьюринга The universal Turing machine interpreter Article published earlier |
| spellingShingle | Интерпретатор универсальной машины Тьюринга Кургаев, А.Ф. Григорьев, С.Н. Інформатика |
| title | Интерпретатор универсальной машины Тьюринга |
| title_alt | Інтерпретатор універсальної машини Тьюринга The universal Turing machine interpreter |
| title_full | Интерпретатор универсальной машины Тьюринга |
| title_fullStr | Интерпретатор универсальной машины Тьюринга |
| title_full_unstemmed | Интерпретатор универсальной машины Тьюринга |
| title_short | Интерпретатор универсальной машины Тьюринга |
| title_sort | интерпретатор универсальной машины тьюринга |
| topic | Інформатика |
| topic_facet | Інформатика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/125870 |
| work_keys_str_mv | AT kurgaevaf interpretatoruniversalʹnoimašinytʹûringa AT grigorʹevsn interpretatoruniversalʹnoimašinytʹûringa AT kurgaevaf ínterpretatoruníversalʹnoímašinitʹûringa AT grigorʹevsn ínterpretatoruníversalʹnoímašinitʹûringa AT kurgaevaf theuniversalturingmachineinterpreter AT grigorʹevsn theuniversalturingmachineinterpreter |