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

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

Fuld beskrivelse

Bibliografiske detaljer

Principais autores:	A.F. Kurgaev, S.N. Grygoryev
Format:	Artigo
Sprog:	Inglês
Udgivet:	Publishing House "Akademperiodyka" 2024-12-01
Serier:	Доповiдi Нацiональної академiї наук України
Fag:	інтерпретатор універсальної машини Тьюринга, інтерпретуюче-транслюючий процес постановки та розв’язку задач, база знань, метамова нормальних форм знань, формальна мова
Online adgang:	https://nasu-periodicals.org.ua/index.php/dp/article/view/12836
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!