Інтерпретатор універсальної машини Тьюринга
DOI:
https://doi.org/10.15407/dopovidi2016.10.028Ключові слова:
інтерпретатор універсальної машини Тьюринга, інтерпретуюче-транслюючий процес постановки та розв’язку задач, база знань, метамова нормальних форм знань, формальна моваАнотація
На прикладі інтерпретатора універсальної машини Тьюринга доведена достатність виразних можливостей метамови нормальних форм знань (НФЗ) для постановки та розв’язку довільного завдання, для якого є розв’язок, і отже, універсальність машини, що реалізує цю мову. У процесі обґрунтування універсальності метамови НФЗ дано формальні текстовий і графічний описи інтерпретатора універсальної машини Тьюринга.
Завантаження
Посилання
Glushkov V., Zeitlin G., Yushchenko E. Algebra. Languages. Programming. Kiev, Nauk. Dumka, 1978 (in Russian).
Gross M., Lunten A. Theory of formal grammars. Moscow: Mir, 1971 (in Russian).
Chomsky N. Aspects of the Theory of Syntax, Cambridge, MA: MIT Press, 1965.
Chomsky N. Some Concepts and Consequences of the Theory of Government and Binding, Cambridge, MA: MIT Press, 1982.
International Standard ISO/IEC 14977: 1996(E). Electronic resource. Access: http://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
Kurgaev A., Grygoryev S. Utility model patent UA 92484 U, 2014, Bulletin № 16 (in Ukrainian).
Kurgaev A., Grygoryev S. The normal forms of knowledge. Dopov. Nac. akad. nauk Ukr., 2015, No 11: 36-43 (in Russian).
Fu K.S. Syntactic Pattern Recognition and Applications. Englewood Cliffs: Prentice-Hall, 1982.
Minsky M.L. Computation: Finite and Infinite Machines. Englewood Cliffs: Prentice-Hall, 1967.
Shannon C.E. A universal Turing machine with two internal states. Princeton: Automata Studies, 1956. https://doi.org/10.1515/9781400882618-007
##submission.downloads##
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Авторське право (c) 2024 Доповіді Національної академії наук України
Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial 4.0 International License.
