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