Sie befinden sich hier: Termine » Prüfungsfragen und Altklausuren » Prüfungen im Bachelor-Studium (1. - 5. Semester) » Aufgabe 1   (Übersicht)

Dies ist eine alte Version des Dokuments!


Aufgabe 1

Wir definieren ein Termersetzungssystem über das aus zwei binären Funktionssymbolen º und ∗ (in Infixnotation geschrieben) bestehenden Signatur Σ durch: (x º y) º z → (x º y) ∗ z x º y → (y º x) º x

1. Zeigen Sie mittels Polynomordnungen, dass das Sytem stark normalisierend ist. 2. Ist das System konfluent? Geben Sie einen Beweis bzw. ein Gegenbeispiel an.

Aufgabe 2

Aufgabe 3

Aufgabe 4

Aufgabe 5