=====Automatentheorie und formale Sprachen=====

==a==Grundlagen==a==

~-[[MathematikQuantoren Quantoren]]
~-[[MathematikPraedikate Prädikate]]
~-[[MathematikMengen Mengen]]


==a==Zustandsautomaten und formale Sprachen==a==

~-[[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 [[http://de.wikipedia.org/wiki/Backus-Naur-Form W]], (SkriptAtfsEckNr2, S. 9)
~-[[ChomskyHierarchie Chomsky-Hierarchie]]
~-[[PumpingLemma Pumping Lemma]]



==a==Tools==a==

**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/


==a==Menschen==a==

[[http://en.wikipedia.org/wiki/Noam_Chomsky Avram Noam Chomsky]]

----
CategoryStudiumSE
Siehe auch {{backlinks}}