The process of PC operation is the execution of a program. To put it in more familiar language, that is a package of commands that follow in a certain order. The type of machine-type command, which consists of zeros and ones, indicates what actions the central processor should perform. From this it follows: to set the PC a sequence of actions to be performed, a sequence of codes of the lifetime type of the corresponding commands is set. In machine codes, software consists of many commands. Writing such software is time-consuming, difficult and tedious. The programmer must know the combination of ones and zeros of the binary code of each program, in addition, he must remember the codes of the lifetime type of data addresses used in its execution. It is much easier to write software in a language that is closer to human natural language and have the PC translate this program into machine-type codes. That is how programming languages appeared, which are designed specifically for writing software.
Other classification criteria include. The possibility that the invention invests one or more aspects of an existing language while leaving others unchanged or otherwise completely superior to any existing language; usually two cases are referred to respectively as invented foreign language and a priori invented language.
The circumstance that the invented language should be indicated only by a specimen or give a description of minor or greater completeness. The position of a given language invented on an ideal scale that establishes a gradation from languages with maximum expressive connotation at the extreme and with maximum formal connotation at the other end.
Now there are a large number of different programming languages. To solve many problems, you can apply each of them. Experts in their field know which programming language to use to solve any problems, since each of the languages is equipped with its own capabilities, focus on certain types of tasks, and also have their own way of describing objects and concepts that are used to solve a large number of tasks.
A typology of historical type was put forward by Brown, which lists: a priori philosophical languages of the eighteenth century; secret languages of the seven mystical or secular; universal languages and interlinguistic systems of the nineteenth century; literary blindness. From this complex set, the scientist isolates a group of utopian languages described in works describing utopian worlds or universes. The utopian aspect is still present in many other types of invented languages, since one of the most typical ways of linguistic invention corresponds to the simplification of one or more natural languages, in elements where inequalities and symmetries can be found.