Algebraische Spezifikation

Abstrakter Datentyp

Frage:

Was beschreibt ein abstrakter Datentyp?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Signatur

Frage:

Was versteht man unter der Signatur eines abstrakten Datentyps!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Operatorsymbol

Frage:

Was versteht man unter einem Operatorsymbol?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Gesetz (Axiom)

Frage:

Was versteht man unter einem Gesetz (Axiom)?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Konstruktor

Frage:

Definiere den Begriff "Konstruktor"!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Hauptkonstruktor

Frage:

Definiere den Begriff "Hauptkonstruktor"!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Projektor

Frage:

Definiere den Begriff "Projektor"!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Termersetzung

Frage:

Was versteht man unter der Termersetzung (-reduktion)?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Vollständige Spezi fikation

Frage:

Wann bezeichnet man eine Spezifikation als vollständig?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Eigenschaften von Termersetzungssystemen

Frage:

Nenne und erkläre die Eigenschaften von Termersetzungssystemen!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.