Untermenü:
 
Fachhochschule Lübeck
FH Frankfurt
Beuth Hochschule Berlin
Fachhochschule Brandenburg
Fachhochschule Braunschweig Wolfenbüttel
Fachhochschule Kiel
Fachhochschule Oldenburg Ostfriesland Wilhelmshaven
Fachhochschule Oldenburg Ostfriesland Wilhelmshaven
Hochschule Bremerhaven
Fernfachhochschule BRIG Schweiz

Theoretische Informatik

Theoretische Informatik

1. Formale Sprachen

1.1. Alphabete, Wörter und Sprachen

1.2 Zusammenhang mit Programmiersprachen

2. Endliche Automaten

2.1. Deterministische endliche Automaten

2.2. Nichtdeterministische endliche Automaten

3. Reguläre Sprachen

3.1. Reguläre Sprachen und Operationen

3.2. Reguläre Ausdrücke

3.3. Eigenschaften regulärer Sprachen

3.2. Nichtdeterministische Kellerautomaten

4. Kontextfreie Sprachen 

4.1. Kontextfreie Grammatiken

4.2. Kontextfreie Grammatiken und Sprachen

4.2. Kellerautomaten

4.3. Eigenschaften kontextfreier Sprachen

5. Turingmaschinen und Berechenbarkeit

5.1. Deterministische Turingmaschinen

5.2. Intuitiver Algorithmusbegri®

5.3. Turing-Berechenbarkeit 

6. Entscheidbarkeit

6.1. Entscheidbare Probleme

6.2. Das Halteproblem