Показати простий запис статті
dc.contributor.author |
Кургаев, А.Ф. |
|
dc.contributor.author |
Григорьев, С.Н. |
|
dc.date.accessioned |
2017-11-08T20:11:52Z |
|
dc.date.available |
2017-11-08T20:11:52Z |
|
dc.date.issued |
2016 |
|
dc.identifier.citation |
Интерпретатор универсальной машины Тьюринга / А.Ф. Кургаев, С.Н. Григорьев // Доповіді Національної академії наук України. — 2016. — № 10. — С. 28-34. — Бібліогр.: 10 назв. — рос. |
uk_UA |
dc.identifier.issn |
1025-6415 |
|
dc.identifier.other |
DOI: doi.org/10.15407/dopovidi2016.10.028 |
|
dc.identifier.uri |
http://dspace.nbuv.gov.ua/handle/123456789/125870 |
|
dc.description.abstract |
На примере интерпретатора универсальной машины Тьюринга доказана достаточность выразительных возможностей метаязыка нормальных форм знаний (НФЗ) для постановки и решения произвольной задачи, для которой есть решение, и, тем самым, универсальность машины, реализующей
этот язык. В процессе обоснования универсальности метаязыка НФЗ даны формальные текстовое
и графическое описания интерпретатора универсальной машины Тьюринга. |
uk_UA |
dc.description.abstract |
На прикладі інтерпретатора універсальної машини Тьюринга доведена достатність виразних можливостей
метамови нормальних форм знань (НФЗ) для постановки та розв'язку довільного завдання, для якого є розв'язок,
і отже, універсальність машини, що реалізує цю мову. У процесі обґрунтування універсальності метамови НФЗ
дано формальні текстовий і графічний описи інтерпретатора універсальної машини Тьюринга. |
uk_UA |
dc.description.abstract |
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. |
uk_UA |
dc.language.iso |
ru |
uk_UA |
dc.publisher |
Видавничий дім "Академперіодика" НАН України |
uk_UA |
dc.relation.ispartof |
Доповіді НАН України |
|
dc.subject |
Інформатика |
uk_UA |
dc.title |
Интерпретатор универсальной машины Тьюринга |
uk_UA |
dc.title.alternative |
Інтерпретатор універсальної машини Тьюринга |
uk_UA |
dc.title.alternative |
The universal Turing machine interpreter |
uk_UA |
dc.type |
Article |
uk_UA |
dc.status |
published earlier |
uk_UA |
dc.identifier.udc |
004.8 |
|
Файли у цій статті
Ця стаття з'являється у наступних колекціях
Показати простий запис статті