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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Доповіді НАН України
Datum:	2016
Hauptverfasser:	Кургаев, А.Ф., Григорьев, С.Н.
Format:	Artikel
Sprache:	Russian
Veröffentlicht:	Видавничий дім "Академперіодика" НАН України 2016
Schlagworte:	Інформатика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/125870
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Интерпретатор универсальной машины Тьюринга / А.Ф. Кургаев, С.Н. Григорьев // Доповіді Національної академії наук України. — 2016. — № 10. — С. 28-34. — Бібліогр.: 10 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	nasplib_isofts_kiev_ua-123456789-125870
record_format	dspace
spelling	Кургаев, А.Ф. Григорьев, С.Н. 2017-11-08T20:11:52Z 2017-11-08T20:11:52Z 2016 Интерпретатор универсальной машины Тьюринга / А.Ф. Кургаев, С.Н. Григорьев // Доповіді Національної академії наук України. — 2016. — № 10. — С. 28-34. — Бібліогр.: 10 назв. — рос. 1025-6415 DOI: doi.org/10.15407/dopovidi2016.10.028 https://nasplib.isofts.kiev.ua/handle/123456789/125870 004.8 На примере интерпретатора универсальной машины Тьюринга доказана достаточность выразительных возможностей метаязыка нормальных форм знаний (НФЗ) для постановки и решения произвольной задачи, для которой есть решение, и, тем самым, универсальность машины, реализующей этот язык. В процессе обоснования универсальности метаязыка НФЗ даны формальные текстовое и графическое описания интерпретатора универсальной машины Тьюринга. На прикладі інтерпретатора універсальної машини Тьюринга доведена достатність виразних можливостей метамови нормальних форм знань (НФЗ) для постановки та розв'язку довільного завдання, для якого є розв'язок, і отже, універсальність машини, що реалізує цю мову. У процесі обґрунтування універсальності метамови НФЗ дано формальні текстовий і графічний описи інтерпретатора універсальної машини Тьюринга. Using an interpreter of the universal Turing machine as the example, it is shown that the NFK (normal forms of knowledge) meta-language expressiveness is sufficient for defining and solving any solvable problem, which proves the versatility of a computer, which realizes this language. In the process of substantiation of the versatility of the NFK meta-language, the formal text and graphical descriptions of an interpreter of the universal Turing machine are given. ru Видавничий дім "Академперіодика" НАН України Доповіді НАН України Інформатика Интерпретатор универсальной машины Тьюринга Інтерпретатор універсальної машини Тьюринга The universal Turing machine interpreter Article published earlier
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
title	Интерпретатор универсальной машины Тьюринга
spellingShingle	Интерпретатор универсальной машины Тьюринга Кургаев, А.Ф. Григорьев, С.Н. Інформатика
title_short	Интерпретатор универсальной машины Тьюринга
title_full	Интерпретатор универсальной машины Тьюринга
title_fullStr	Интерпретатор универсальной машины Тьюринга
title_full_unstemmed	Интерпретатор универсальной машины Тьюринга
title_sort	интерпретатор универсальной машины тьюринга
author	Кургаев, А.Ф. Григорьев, С.Н.
author_facet	Кургаев, А.Ф. Григорьев, С.Н.
topic	Інформатика
topic_facet	Інформатика
publishDate	2016
language	Russian
container_title	Доповіді НАН України
publisher	Видавничий дім "Академперіодика" НАН України
format	Article
title_alt	Інтерпретатор універсальної машини Тьюринга The universal Turing machine interpreter
description	На примере интерпретатора универсальной машины Тьюринга доказана достаточность выразительных возможностей метаязыка нормальных форм знаний (НФЗ) для постановки и решения произвольной задачи, для которой есть решение, и, тем самым, универсальность машины, реализующей этот язык. В процессе обоснования универсальности метаязыка НФЗ даны формальные текстовое и графическое описания интерпретатора универсальной машины Тьюринга. На прикладі інтерпретатора універсальної машини Тьюринга доведена достатність виразних можливостей метамови нормальних форм знань (НФЗ) для постановки та розв'язку довільного завдання, для якого є розв'язок, і отже, універсальність машини, що реалізує цю мову. У процесі обґрунтування універсальності метамови НФЗ дано формальні текстовий і графічний описи інтерпретатора універсальної машини Тьюринга. Using an interpreter of the universal Turing machine as the example, it is shown that the NFK (normal forms of knowledge) meta-language expressiveness is sufficient for defining and solving any solvable problem, which proves the versatility of a computer, which realizes this language. In the process of substantiation of the versatility of the NFK meta-language, the formal text and graphical descriptions of an interpreter of the universal Turing machine are given.
issn	1025-6415
url	https://nasplib.isofts.kiev.ua/handle/123456789/125870
citation_txt	Интерпретатор универсальной машины Тьюринга / А.Ф. Кургаев, С.Н. Григорьев // Доповіді Національної академії наук України. — 2016. — № 10. — С. 28-34. — Бібліогр.: 10 назв. — рос.
work_keys_str_mv	AT kurgaevaf interpretatoruniversalʹnoimašinytʹûringa AT grigorʹevsn interpretatoruniversalʹnoimašinytʹûringa AT kurgaevaf ínterpretatoruníversalʹnoímašinitʹûringa AT grigorʹevsn ínterpretatoruníversalʹnoímašinitʹûringa AT kurgaevaf theuniversalturingmachineinterpreter AT grigorʹevsn theuniversalturingmachineinterpreter
first_indexed	2025-12-07T15:36:01Z
last_indexed	2025-12-07T15:36:01Z
_version_	1850864316425699328

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

Institution

Ähnliche Einträge