Cover Image

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

На примере интерпретатора универсальной машины Тьюринга доказана достаточность выразительных возможностей метаязыка нормальных форм знаний (НФЗ) для постановки и решения произвольной задачи, для которой есть решение, и, тем самым, универсальность машины, реализующей этот язык. В процессе обосновани...

Full description

Saved in:
Bibliographic Details
Published in:Доповіді НАН України
Date:2016
Main Authors: Кургаев, А.Ф., Григорьев, С.Н.
Format: Article
Language:Russian
Published: Видавничий дім "Академперіодика" НАН України 2016
Subjects:
Інформатика
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/125870
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Интерпретатор универсальной машины Тьюринга / А.Ф. Кургаев, С.Н. Григорьев // Доповіді Національної академії наук України. — 2016. — № 10. — С. 28-34. — Бібліогр.: 10 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Similar Items