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