TU Wien:Automaten und formale Sprachen VO (Kuich)

Daten

Diese LVA wird nicht mehr von dieser Person angeboten, ist ausgelaufen, oder läuft aus und befindet sich daher nur noch zu historischen Zwecken im VoWi.

Vortragende	Werner Kuich
ECTS	3
Abteilung	Diskrete Mathematik und Geometrie
Sprache	Englisch

Zuordnungen

M. Logic and Computation	Pflichtmodul Unbekannt oder "Prä-Modul-Ära" - EDIT ME
M. Software Engineering & Internet Computing	Wahlmodul Unbekannt oder "Prä-Modul-Ära" - EDIT ME
M. Technische Informatik	Wahlmodul Unbekannt oder "Prä-Modul-Ära" - EDIT ME

Inhalt

Formale Sprachen und Automaten werden durch eine Verallgemeinerung auf Formale Potenzreihen und Automaten über Halbringen mathematisch präziser als üblich behandelt und sollen derart der Exaktifizierung zugänglich werden.

Ablauf

tbd

Benötigte/Empfehlenswerte Vorkenntnisse

tbd

Vortrag

tbd

Übungen

Siehe gleichnamige Übung

Prüfung, Benotung

tbd

Zeitaufwand

tbd

Unterlagen

tbd

• Materialien

Tipps

tbd