Du befindest dich hier: FSI Informatik » 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