The universal turing machine interpreter
From MaRDI portal
Publication:5507249
DOI10.15407/dopovidi2016.10.028zbMath1363.68087MaRDI QIDQ5507249
A. F. Kurgaev, S. N. Grigor'ev
Publication date: 16 December 2016
Published in: Reports of the National Academy of Sciences of Ukraine (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.15407/dopovidi2016.10.028
Turing machine; knowledge base; formal language; interpreter; meta-language; normal forms of knowledge; translating process
68N20: Theory of compilers and interpreters
68T30: Knowledge representation
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence