| 
| ||||
Theoretische InformatikWintersemester 2012 |
Aktuelles
- Beschreibung der Veranstaltung
- Sie können den Benachrichtigungsdienst für diese Seite unter www.inf.fh-flensburg.de/lang/veranst/thi/index.xml abonnieren. Dann sind Sie immer über neue Aufgaben, neue Skriptseiten und neue Ankündigungen auf dem Laufenden.
- Tragen Sie sich in Stud.IP als Teilnehmer der Veranstaltung ein.
- Die Prüfung findet am Ende des Semesters in Form einer mündlichen Gruppenprüfung statt.
- Aussagen über die leere Menge
- EasyEclipse for PyDev installieren
- Erste Schritte mit Python
- Mündliche Prüfung am 08.01.2013 ab 09.00 Uhr
Weiterer Prüfungstermin am 14.03.2013, ab 10.00 Uhr
Skript
Sprachen und Automaten
- Alphabet, Wort, Sprache
- Mächtigkeit der Menge aller Wörter und der Menge aller Sprachen
- Reguläre Ausdrücke
- Reguläre Ausdrücke in PHP
- Nichtdeterministischer endlicher Automat
- Konstruktion eines deterministischen endlichen Automaten
- Nichtdeterministischer endlicher Automat mit Epsilon-Übergängen
- Konstruktion eines nichtdeterministischen endlichen Automaten
- Konstruktion eines regulären Ausdrucks
- Abgeschlossenheitseigenschaften regulärer Sprachen
- Pumping-Lemma für reguläre Sprachen
- Grammatik
- Kontextfreie Grammatik
- Konstruktion einer rechtslinearen Grammatik
- Nichtdeterministischer Stackautomat
- Konstruktion eines Stackautomaten
- Turingmaschine
- String-Turingmaschine
Parsen und Übersetzen
- Recursive-Descent-Methode
- Erweiterte Backus-Naur-Form
- Basismodul Parser
- Recursive-Descent-Übersetzer
Aufgaben
- Aufgabe 1
- Aufgabe 2
- Aufgabe 3
- Aufgabe 4
- Aufgabe 5 (Antworten finden am 18.10.2012)
- Aufgabe 6
- Aufgabe 7
- Problem
- Aufgabe 8
- Aufgabe 9
- Aufgabe 10
Laboraufgaben
Literatur
Für diese Vorlesung sind folgende Bücher besonders zu empfehlen:
| [Hof 11] | D.W. Hoffmann: Theoretische Informatik. 2. Auflage, Hanser (2011) | |
| [Hol 07] | B. Hollas: Grundkurs Theoretische Informatik. Spektrum (2007) | |
| [AB 02] | A. Asteroth, C. Baier: Theoretische Informatik. Pearson Studium (2002) | |
| [HMU 02] | J.E. Hopcroft, R. Motwani, J.D. Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. 2. Auflage, Pearson Studium (2002) | |
| [Schö 92] | U. Schöning: Theoretische Informatik kurz gefasst. BI-Wissenschaftsverlag (1992) | |
Weitere geeignete Bücher finden sich in der Literaturliste theoretische Informatik.
 |
 H.W. Lang FH Flensburg lang@fh-flensburg.de Impressum © |
 |