Кургаев, А. Ф. Интерпретатор универсальной машины Тьюринга [Текст] / А. Ф. Кургаев, С. Н. Григорьев> // Доповіді Національної академії наук України. - 2016. - № 10. - С. 28-34. - Библиогр. в конце ст. Рубрики: Математика--Математична кібернетика--Теорія керуючих систем Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування Математика--Дослідження операцій--Математичне програмування Кл.слова (ненормовані): Метаязык -- База знаний -- Форма знаний -- Язык формальный Анотація: На прикладі інтерпретатора універсальної машини Тьюрінга доведено достатність виразних можливостей метамови нормальних форм знань для постановки та розв'язку довільного завдання, для якого є розв'язок, і отже, універсальність машини, що реалізує цю мову. Дано формальний текстовий та графічний опис інтерпретатора. Дод.точки доступу: Григорьев, С. Н. |