Untermenü:

Principles of Informatics II

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