Читать книгу Algorithmen und Datenstrukturen - Gunter Saake - Страница 46

Signatur

Ein zentraler Begriff in der Beschreibung eines Datentyps ist der Begriff der Signatur. Eine Signatur ist eine Formalisierung der Schnittstellenbeschreibung eines Datentyps und besteht aus der Angabe der Namen der Sorten und der Operationen. Bei Operationen werden neben dem Bezeichner der Operation auch die Stelligkeit der Operationen und die Sorten der einzelnen Parameter angegeben. Die Konstanten eines Datentyps werden als nullstellige Operationen realisiert.