• Quantoren
• Prädikate
• Mengen

• Zustandsautomaten allgemein
• Endliche Zustandsautomaten
• Detirministische, endliche (Zustands)automaten (DEA)
• Nichtdetirministische, endliche (Zustands)automaten (NEA)
• Formale Sprachen
• Zustandsautomaten mit Ausgabe
• Grammatik und Produktionen
• Kellerautomaten (Schoening2008, S. 97)
• Backus-Naur-Form W, (SkriptAtfsEckNr2, S. 9)
• Chomsky-Hierarchie
• Pumping Lemma

bnfc (Linux)
The BNF Converter is a compiler construction tool that generates a compiler front-end and a readable syntax description document from a Labelled BNF grammar. It was originally written to generate Haskell, but it can now also be used for generating Java, C++, and C.
To process C or C++ output, you need a C or C++ compiler, respectively, the Bison parser generator (package bison) and the flex scanner generator (package flex). Homepage: http://www.cs.chalmers.se/~markus/BNFC/

Avram Noam Chomsky