The definition of formal languages in the meta language of normal forms of knowledge

• Main Authors: Kurgaev, A.F., Grygoryev, S.M.
• Format: Article
• Language: rus
• Published: Інститут програмних систем НАН України 2018
• Subjects: meta-language; regular languages; context-free languages; context languages; 0-languages; Turing machines; formal description of languages; UDC 004.8
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/309

The expressive means of the metalanguage of normal forms of knowledge in relation to different level formal languages are investigated. The formal descriptions of a multitude of linguistic examples are given. The graphic metadescription equivalent to the given text description of the interpreter of the universal Turing machine is developed. The description provided of the universal Turing machine interpreter can be applied to solving the task of modelling the behavior of any T-machine (which performs the task of data conversion on its memory tape). The formal definition of the translator of the determined Turing machine is given. The ability to describe in the metalanguage of normal forms of knowledge the interpreting-translating and the translating-translating processes of formulating and solving of a given task, for which a solution exists is substantiated and defined.Problems in programming 2017; 4: 037-050