Интерпретатор универсальной машины Тьюринга
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Интерпретатор универсальной машины Тьюринга
|
|
| Creator |
Кургаев, А.Ф.
Григорьев, С.Н. |
|
| Subject |
Інформатика
|
|
| 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. |
|
| Date |
2017-11-08T20:11:52Z
2017-11-08T20:11:52Z 2016 |
|
| Type |
Article
|
|
| Identifier |
Интерпретатор универсальной машины Тьюринга / А.Ф. Кургаев, С.Н. Григорьев // Доповіді Національної академії наук України. — 2016. — № 10. — С. 28-34. — Бібліогр.: 10 назв. — рос.
1025-6415 DOI: doi.org/10.15407/dopovidi2016.10.028 http://dspace.nbuv.gov.ua/handle/123456789/125870 004.8 |
|
| Language |
ru
|
|
| Relation |
Доповіді НАН України
|
|
| Publisher |
Видавничий дім "Академперіодика" НАН України
|
|