Formal languages are used in the construction of programming languages, the theory of translated programs. Formal languages form a descriptive engine for computational models both for input-output and for manipulation. Formal language theory, precisely because it is an interdisciplinary field of science; The need to describe grammatical form has arisen in many sciences ranging from formal linguistic theory to biology. The pertinent aspects of formal language theory will therefore be of decisive importance in the textbooks of Formal Language Theory and automatism. The course provides basic knowledge about Formal Languages and abstract machines (automats, grammars, turing machines). This is a must-have for students of computer science. On that basis, students can gain a deeper understanding of the structure of programming languages, translation programs as well as the nature of algorithms and their computational complexity.