Кургаев, А.Ф.; Григорьев, С.Н.
(Доповіді НАН України, 2016)
На примере интерпретатора универсальной машины Тьюринга доказана достаточность выразительных возможностей метаязыка нормальных форм знаний (НФЗ) для постановки и решения произвольной задачи, для которой есть решение, и, ...