Inhaltsverzeichnis Informatik Q 3 Grundkurs
Thema | .doc | |
1. Konzepte und Anwendungen der Theoretischen Informatik | ||
1.1. Formale Sprachen und Grammatiken | ||
1.1.1. Aufbau von Sprachen | .doc | |
1.1.2. Formale Sprachen | .doc | |
1.1.3. Grammatiken formaler Sprachen | .doc | |
1.2. Endliche Automaten | ||
1.2.1. Mealey-Automaten | .doc | |
1.2.2. Erkennende endliche Automaten | .doc | |
1.2.3. Darstellung von Kräften | .doc | |
1.3. Kara als deterministischer endlicher Automat | ||
1.3.1. Einführung in Kara | .doc | |
1.3.2. Einfache Programme mit Kara | .doc | |
1.4. Theorie der Berechenbarkeit | ||
1.4.1. Komplexitätsklassen | .doc | |
1.4.2. Das Halteproblem | .doc | |
1.4.3. Turingmaschinen | .doc |