GLOBAL LANGUAGE AS THE QUINTESSENCE OF ISOMORPHISM OF PROGRAMMING LANGUAGES

Zheludkov Anton Vladimirovich, Grigoriev Sergei Georgievich

This paper examines the concepts of isomorphism of algorithms and isomorphism of programming languages. Their connection is determined, namely, the implementation of the same algorithm is isomorphic in different paradigms and, as a consequence, languages. Thus, the isomorphism of algorithms turns into an isomorphism of programming languages, which means it is possible to create a global language with which it will be possible to convert code between existing languages and translate implementations of algorithms between different paradigms. The main features of this language are described.

Keywords:isomorphism of algorithms, equivalence of algorithms, programming paradigm, global programming language, Turing machine