Coronavirus - Informationen und Empfehlungen: https://colab.tuwien.ac.at/display/CORONA

185.224 Termersetzungssysteme
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2020S, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage die Grundlagen der Termersetzung, sowie ausgewählte Kapitel dazu zu verstehen. Die Grundlagen umfassen zumindest (i) Abstract Rewrite Systems; (ii) (First-Order) Term Rewrite Systems; (iii)  Completion, Complexity, Confluence and Termination. Die ausgewählten Kapitel werden im Vorfeld geklärt werden.

Inhalt der Lehrveranstaltung

The following topics are discussed:

Foundations.

(i)  Abstract Rewrite Systems: definitions, properties, Newman's Lemma, commutation, strategies; (ii) (First-Order) Term Rewrite Systems: definitions, properties, equational reasoning, word problem; (iii)  Completion, Complexity, Confluence and Termination: critical pair lemma, Gröbner basis, derivational complexity, connection to subrecursive hierarchies, (beyond) orthogonality, decreasing diagrams, polynomial and matrix interpretations, dependency pairs.

Advanced Topics (one or two of these, depending on interest).

(i) Mathematical Foundations; (ii) Automated Resource Analysis; (iii) Probabilistic Term Rewriting; (iv) Tree Automata; (v) Strategies.

Methoden

The course is taught in English and will be held blocked from July 13-17. Supporting material, as well exercises will be made available prior to the course. Within the course the course material will be presented; examples and exercises will be presented.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Die Vorlesung wird teilweise auf das folgende Skriptum aufbauen:

  • Term Rewrite Systems, Aart Middeldorp, lecture notes, University of Innsbruck.

Zusätzliches Material  ist auf der LVA Homepage zu finden.

Vortragende

Institut

Leistungsnachweis

Evaluation of exercises; discussion and written exam.

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Weitere Informationen

Sprache

Englisch