104.458 AKINF: Automaten und Formale Sprachen
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2021S, VO, 2.0h, 3.0EC
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung
  • Format der Abhaltung: Distance Learning

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

Das intendierte Lernergebnis dieser LVA besteht darin den Inhalt der LVA zu verstehen. Dieses Verständnis bildet unter anderem die Basis für die Fähigkeit die in der LVA besprochenen Aussagen und Begriffe korrekt wiederzugeben, sowie dafür die in der LVA eingesetzten Beweismethoden erklären und anwenden zu können.

Inhalt der Lehrveranstaltung

Die Automatentheorie ist ein zentrales Gebiet der theoretischen Informatik. Endliche Automaten sind die einfachsten theoretischen Maschinen und sie treten explizit und implizit in einer Vielzahl von Gebieten und Anwendungen sowohl in der Informatik als auch in der Mathematik auf.

Als Teilgebiet der Mathematik hängt die Automatentheorie eng mit der Algebra, insbesondere mit Monoiden und Halbringen zusammen. In dieser Vorlesung wird zunächst die klassische Automatentheorie auf Basis von stetigen Halbringen neu entwickelt. Das führt auf natürliche Weise zum allgemeineren Begriff des gewichteten Automaten und entsprechenden Verallgemeinerungen von formalen Sprachen, Grammatiken, etc. Im zweiten Teil der Vorlesung beschäftigen wir uns mit der Klassifizierung regulärer Sprachen durch Eigenschaften ihrer syntaktischen Monoide. Als eines der wichtigsten Resultate dieser Art werden wir den Satz von Schützenberger beweisen (die Charakterisierung der sternfreien Sprachen durch aperiodische Monoide).

Methoden

Lektüre des Skriptums, Konversatorium zum Inhalt

Prüfungsmodus

Mündlich

Weitere Informationen

Weitere Informationen entnehmen Sie bitte der TUWEL-Seite zu dieser Vorlesung.

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.13:00 - 14:0005.03.2021 ZoomVorbesprechung

Leistungsnachweis

Mündliche Prüfung

LVA-Anmeldung

Von Bis Abmeldung bis
12.02.2021 00:00

Anmeldemodalitäten:

Melden Sie sich bitte zu dieser LVA an um auf den zugehörigen TUWEL-Kurs zugreifen zu können.

Curricula

StudienkennzahlSemesterAnm.Bed.Info
860 GW Gebundene Wahlfächer - Technische Mathematik

Literatur

Es wird ein Skriptum zur Verfügung gestellt werden.

Vorkenntnisse

Kenntnis der elementaren Theorie formaler Sprachen (wie sie z.B. in der LVA 108.036 "Theoretische Informatik" vermittelt wird) ist hilfreich.

Begleitende Lehrveranstaltungen

Sprache

bei Bedarf in Englisch