Інтерпретатор універсальної машини Тьюринга

На прикладі інтерпретатора універсальної машини Тьюринга доведена достатність виразних можливостей метамови нормальних форм знань (НФЗ) для постановки та розв’язку довільного завдання, для якого є розв’язок, і отже, універсальність машини, що реалізує цю мову. У процесі обґрунтування універсальності...

Celý popis

Podrobná bibliografie

Hlavní autoři:	A.F. Kurgaev, S.N. Grygoryev
Médium:	Artigo
Jazyk:	Inglês
Vydáno:	Publishing House "Akademperiodyka" 2024-12-01
Edice:	Доповiдi Нацiональної академiї наук України
Témata:	інтерпретатор універсальної машини Тьюринга, інтерпретуюче-транслюючий процес постановки та розв’язку задач, база знань, метамова нормальних форм знань, формальна мова
On-line přístup:	https://nasu-periodicals.org.ua/index.php/dp/article/view/12836
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!