Интерпретатор универсальной машины Тьюринга

• Опубліковано в: : Доповіді НАН України
• Дата: 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 назв. — рос.

На примере интерпретатора универсальной машины Тьюринга доказана достаточность выразительных возможностей метаязыка нормальных форм знаний (НФЗ) для постановки и решения произвольной задачи, для которой есть решение, и, тем самым, универсальность машины, реализующей
 этот язык. В процессе обоснования универсальности метаязыка НФЗ даны формальные текстовое
 и графическое описания интерпретатора универсальной машины Тьюринга. На прикладі інтерпретатора універсальної машини Тьюринга доведена достатність виразних можливостей
 метамови нормальних форм знань (НФЗ) для постановки та розв'язку довільного завдання, для якого є розв'язок,
 і отже, універсальність машини, що реалізує цю мову. У процесі обґрунтування універсальності метамови НФЗ
 дано формальні текстовий і графічний описи інтерпретатора універсальної машини Тьюринга. 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.