Formal language
A formal language is an abstract language in which, in contrast to natural languages, the focus is often not on communication but on mathematical use. A formal language consists of a certain number of symbol strings (generally character strings ) ("words" of the language), which can be put together from a set of characters / symbols ("alphabet", basic symbols). Formal languages are used in linguistics , logic and theoretical computer science .
Formal languages are suitable for (mathematically) precise description of the handling of character strings. For example, data formats or entire programming languages can be specified. Together with formal semantics , the defined character strings are given a (mathematical) meaning. In a programming language, a programming instruction (as part of the formal language) can be assigned a unique machine behavior (as part of the semantics ).
On the basis of formal languages, however, logic calculations can also be defined with which mathematical conclusions can be drawn. In connection with formally defined programming languages, calculi can help to check programs for their correctness .
definition
A formal language over an alphabet is a subset of clover ash shell of the alphabet: .
An alphabet defines the characters from which a " word " of the language can be formed. For example, you can create the decimal representation of any natural number from the alphabet .
All words from a given alphabet with a finite length (length 0 or longer), each of which is an element of each letter , this largest possible amount of words for the alphabet , is called the Kleen's shell of the alphabet , in short . A formal language over an alphabet is therefore a certain subset of the Kleene envelope of your alphabet  in general, not every arbitrary combination of characters is a valid word in the language.
Formal languages can be empty, finite, or infinite; at most they can encompass the entire Kleenesche shell of their alphabet. They can be defined by a mathematical condition on their words: "The language ... is the set of all words for which ..." applies.
The languages used in theoretical computer science, however, are usually more specifically defined by a certain replacement procedure  rules on how the alphabet characters can be / may be combined. There are different types of replacement methods: SemiThue systems , Chomsky grammars , Lindenmayer systems and the like. a. With such replacement methods, one starts with a specific start character string, which is gradually converted into word structures by repeated ("recursive") application of the rules (text replacements), which then as a whole, or only a specified section thereof, as words apply to the language. One speaks here of generative grammars , because the words of a language are generated step by step through such text substitutions . Conversely, languages can also be defined as the set of all words from which a certain predefined word or one of several predefined words can be generated (via the language replacement process). ("Everything belongs to language that can be traced back to ... through the rules.")
Differentiation from natural languages
With the help of formal languages, natural languages can also be modeled, especially their syntax. When comparing formal languages with natural languages, however, it should be noted that natural languages have at least the two superimposed hierarchical levels of the word and the sentence above the elementary phonetic signs . The rules for their structure are usually divided into morphology on the one hand and syntax on the other. In formal languages, on the other hand, there is often only one level of the hierarchy of the formal word above the elementary alphabet sign ; with regard to the structure of the words, one speaks of syntax in formal language. If a natural language is modeled using a formal one, then the sentences of the natural language are called words from a formal point of view .
In addition, utterances in natural language have a natural meaning, while the meaning of formal languages must always be defined in a formal way.
Examples
 The programming language C is a formal language. The words from C are the respective programs. The alphabet of C are the keywords and characters set out in the definition of C.
 The natural numbers in unary representation:
 The unary language above , which contains only squarelength words:
 The language of all palindromes : , where the reflection of the word is.
 The decimal coding of prime numbers: . Here the coding of the natural numbers denotes in the decimal system and PRIM stands for the set of prime numbers .
 The Morse or Thue sequence : , wherein a homomorphism is defined as follows: and , . So the first elements of the Thue sequence are: 0, 01, 0110, 01101001, 0110100110010110 ...
Operations on formal languages
Two languages above the alphabet and above the alphabet are banal, both languages are also above , that is, sets of words . Therefore are also
 the union
 the average
 the difference
Languages about .
Further operations on languages are:
Concatenation
The concatenation of two languages and is the language of words that by cascading letters ( concatenation ) per any word from and from arises:
 .
For example, the concatenations of different languages above the alphabet are :
The neutral element of concatenation is language, which only contains the empty word . The following applies to any language :
The absorbing element of the concatenation is empty language, so that for every language :
The concatenation of languages, like the concatenation of words, is associative , but not commutative . For example:
but:
In addition, since the power set of Kleen's envelope of any alphabet (which is equal to the set of all languages that can be formed from ) is closed with respect to concatenation, it forms a monoid together with the concatenation as the operator and the language of the empty word as the neutral element .
power
The power of a language is the fold concatenation of this language with itself. It is defined recursively with:
 (for )
For example:
In particular, the following applies to each singleelement, formal language (with ) and each :
Kleene  *  degree and Kleene  +  degree
The Kleene  *  closure (Kleene envelope, also called iteration ) and the Kleene  +  closure (positive envelope) of a formal language are defined by the union of the power languages of :
Important formal language classes
 In 1956 Noam Chomsky established a hierarchy of formal grammars that produce different types of formal languages. This is known today as the Chomsky hierarchy . A distinction is made here between type 0, type 1, type 2 and type 3: recursively enumerable , contextsensitive , contextfree or regular languages.
 Aristid Lindenmayer proposed a rule system in which replacement steps are carried out in parallel at every point in every step. These systems are called Lindenmayer systems .
 With semiThue systems , languages may be set, which are derived from starting words.
 With ChurchRosser systems languages explains let their words be reduced to a terminal word.
 Term rewriting systems generate the set of terms that are equivalent to a starting term.
 We obtain generalizations of formal languages with graph grammars with which we can generate graph languages.
 Hypergraph grammars produce hypergraphs , a generalization of graphs.
Historical
Gottlob Frege's conceptual writing is considered to be one of the first formal languages, as Frege wrote "the language of formulas of pure thought". Axel Thue's SemiThue system , which was introduced in 1914 and can be used to transform strings, also influenced the development of formal grammars.
Quote
Today's basic research has been mastered
“[…] From the spirit of mathematics. [...] It has been mathematized through to the extreme limits of what can be achieved today on the basis of an advanced formalization technique. The aim of this research is a fairly ambitious goal. It is the mastery of the greatest possible number of deepseated problems from the field of basic research with a kind of precision that can be described as 'precision in the smallest parts'. [...]
As in mathematics, the desired accuracy can only be achieved through the creation of precision languages , the desired accuracy in the smallest parts only through the creation of precision languages, the degree of accuracy of which the degree of accuracy of the most highly developed mathematical precision language of the present age, the language of set theory and the Language far surpasses modern algebra . [...] Such a precision language is a formalized scientific language. [...] a tool whose performance can be compared with the resolution of an electron microscope . [...] Leibniz was the first to demand precision languages with this level of accuracy. "
Heinrich Scholz met Konrad Zuse in 1944 , who was working on his plan calculus as part of his doctoral thesis . In March 1945, Scholz expressed his appreciation for the application of his logic calculus.
See also
 constructed language
 Computer language
 Category: Formal Language  List of formal languages
Applications see in:
literature
 Lars Peter Georgie: Predictability, Complexity, Logic . Vieweg, Braunschweig Wiesbaden,
 A third edition appeared in 1995.
 English edition: Computability, Complexity, Logic . Published in the series: Studies in logic and the foundations of mathematics . North Holland, Amsterdam 1985.
 A presentation of formal languages in the context of computability theory, logic and complexity theory. Makes high demands on the reader, but provides deep insights.
 Michael A. Harrison: Introduction to Formal Language Theory . In the series: Series in Computer Science , AddisonWesley, 1978.
 A very detailed and highly praised introduction.

John E. Hopcroft and Jeffrey D. Ullman : Introduction to Automata Theory, Formal Languages, and Complexity Theory . AddisonWesley, 1988.
 English original: Introduction to Automata Theory, Languages and Computation . AddisonWesley, 1979.
 A revised third edition in German was published in 1994 by Oldenbourg R. Verlag GmbH. In 2004, AddisonWesley published a second revised edition.
 The English original is the most cited book in theoretical computer science. The evidence is occasionally misrepresented in older German translations. This book has been translated into numerous languages.
 Grzegorz Rozenberg and Arto Salomaa: The Mathematical Theory of LSystems . Academic Press, New York, 1980.
 The most detailed book on Lsystems.
 Grzegorz Rozenberg and Arto Salomaa (editors): Handbook of Formal Languages . Volume IIII, Springer, 1997, ISBN 3540614869 .
 A detailed overview of the most important areas of formal languages is presented by academics who are active in this area.
 Arto Salomaa: Formal Languages . Springer, 1978.
 English original: Formal Languages . Academic Press, 1973.
 Ingo Wegener: Theoretical Computer Science . Teubner Stuttgart, 1993. ISBN 3519021234 .
 In the representation of the formal languages, the complexity of the formal language constructions is always dealt with. Otherwise this can only be found in the original literature.
 U. Hedtstück: Introduction to Theoretical Computer Science  Formal Languages and Automata Theory . Oldenbourg Verlag, Munich 2000, ISBN 3486255150
 S. Abramsky, Dov M. Gabbay, TSE Maibaum (eds.): Handbook of logic in computer science. Vol. 5: Logical and algebraic methods. Oxford University Press 2000, ISBN 0198537816
 Mogens Nielsen, Wolfgang Thomas: Computer Science Logic. Springer 1998, ISBN 3540645705
Individual evidence
 ↑ Chomsky, Noam (1956). "Three models for the description of language". IRE Transactions on Information Theory (2): 113124.
 ↑ Martin Davis (1995). Influences of Mathematical Logic on Computer Science. In Rolf Herken. The universal Turing machine: a halfcentury survey. Jumper. P. 290. ISBN 9783211826379 .
 ↑ Ronald V. Book and Friedrich Otto, Stringrewriting Systems, Springer, 1993, ISBN 0387979654 . P. 36.
 ^ In: Research and Progress No. 35/36, year 1941, p. 382ff.
 ↑ Hartmut Petzold , Modern Calculators. The industrialization of computer technology in Germany. Munich, CH Beck Verlag, 1992.