Algebren, Signaturen

• Eine (mehrsortige) Signatur $\Sigma$

  ist eine Menge von Funktionssymbolen, jeweils mit Typ.

  im OO-Entwurf ist das eine Schnittstelle (Interface)

• Eine $\Sigma$-Algebra A

  ist eine Zuordnung von Sorten zu Mengen und Symbolen zu Funktionen (mit dem richtigen Typ).

  im OO-Entwurf ist das eine Implementierung (Klasse)

• Eine wichtige $\Sigma$-Algebra ist die Term-Algebra:

  die Mengen sind gerichtete, geordnete, markierte Bäume, die Funktionen setzen Bäume zusammen.