Kursbeschreibung
Der Kurs Formale Methoden ist ein 3-teiliger Pflichtkurs im Studiengang Linguistik und auch als Option in einigen anderen Studiengängen vorgesehen. Formale Methoden I ist der erste Kursteil und muß vor dem Besuch der beiden anderen Kursteile absolviert werden.
Neben Kenntnissen über empirische Methoden in der Sprachanalyse und Kenntnissen der Gegenstandsbereiche der Linguistik ist es notwendig, auch die formalen Methoden der Sprachanalyse zu kennen. Hierbei geht es einerseits um Mittel, Ergebnisse der Sprachanalyse als Modelle präzise zu erfassen, und diese mit Theorien konsistent zu beschreiben, andererseits aber darum, Theorien zu entwickeln und aus ihnen Hypothesen abzuleiten, die anhand von Modellen und empirischen Verfahren überprüft werden.
Das Ziel dieses ersten Teils die Einführung von Grundbegriffen, mit denen Sprachstrukturen präzise und umfassend dargestellt werden können. Folgende Bereiche werden behandelt: - Aspekte der Mengenlehre, besonders Mengen von Symbolsequenzen, die für die Modellierung von Wörtern und Sätzen relevant sind, - Aspekte der Theorie formaler Grammatiken, die für die präzise Formulierung grammatischer Regeln notwendig sind, - Aspekte der Automatentheorie, die unter anderem für die Entwicklung operationaler Modelle sprachlicher Abläufe zentral sind.
Eine Teilnahmequalifikation kann in diesem Kurs durch regelmäßige Bearbeitung von Übungen erworben werden; für eine volle Qualifikation werden diese benotet und zusätzlich eine Klausur am Ende des Semesters geschrieben.
Empfohlene Lehrbücher und Nachschlagewerke
Weihnachten naht ...
Tipp: Sie werden sehr viele englisch- und deutschsprachige Einführungen in Kursunterlagen vieler Universitäten im Internet finden. Die didaktischen Ansätze sind sehr verschieden und können Ihre persönlichen Lernstrategien in differenzierter Weise unterstützen. Starten Sie einfach eine Google-Suche nach Stichwörtern zu den einzelnen Themen in den Folienvorlagen, mit Zusätzen wie: Definition, Introduction, Einführung. Natürlich finden Sie in der Uni-Bibliothek jede Menge unterschiedlich ausgerichteter Einführungsbücher, die Ihre Lernstrategien ebenso unterstützen können.
Tutorium
Juanas Tutorienseite (u.a. f. Übungsblatt-Download).
Vorlesungsunterlagen
Nach den Vorlesungen werden die Folien in der Regel weiter editiert.
Änderungen jederzeit vorbehalten!
| 16.10.2002 | (1) Einführung, Organisation | HTML - PDF |
| 23.10.2002 | (2) Mengenlehre: Grundbegriffe | HTML - PDF |
| 30.10.2002 | (3) Mengenlehre: Operationen | HTML - PDF |
| 07.10.2002 | (4) Relationen | HTML - PDF |
| 14.11.2002 | (5) Funktionen | HTML - PDF |
| 21.11.2002 | (6) Partitionen und Äquivalenzrelationen | HTML - PDF |
| 28.11.2002 | Wiederholung: Relationen, Funktionen, Partitionen. | |
| 05.12.2002 | (7) Mengen, Sprachen, reguläre Ausdrücke | HTML - PDF |
| 12.12.2002 | (8) Endliche Übergangsnetzwerke (FSNs), endliche Automaten (FSAs) | HTML - PDF |
| 19.12.2002 | Wegen Erkrankung ausgefallen. | |
| 09.01.2003 | (9) Reguläre Grammatiken (Typ III Grammatiken) und FSAs | HTML - PDF |
| 16.01.2003 | (10) Endliche Maschinen (FSTs) und ihre Anwendungen
By special request: FSA für deutsche Zahlen (PDF) | HTML - PDF |
| 23.01.2003 | (11) Entwurf: Kontextfreie Sprachen und ihre Anwendungen | HTML - PDF |
| 30.01.2003 | (12) Entwurf: Die Chomsky-Hierarchie formaler Sprachen und Grammatiken | HTML - PDF |
| 06.02.2003 | Fragestunde: Wiederholung | |
| 13.02.2003 | Klausur | |