Automatentheorie und formale Sprachen
1. Grundlagen
2. Zustandsautomaten und formale Sprachen
- ZustandsAutomaten Zustandsautomaten allgemein
- EndlicherAutomat Endliche Zustandsautomaten
- DetEndlAutomaten Detirministische, endliche (Zustands)automaten (DEA)
- NichtDetEndAutomaten Nichtdetirministische, endliche (Zustands)automaten (NEA)
- FormaleSprachen Formale Sprachen
- ZustandsautomatenMitAusgabe Zustandsautomaten mit Ausgabe
- AtfsProduktionen Grammatik und Produktionen
- Kellerautomaten (Schoening2008, S. 97)
- Backus-Naur-Form W, (SkriptAtfsEckNr2, S. 9)
- ChomskyHierarchie Chomsky-Hierarchie
- PumpingLemma Pumping Lemma
3. Tools
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/