Signatur (Datenstruktur)

engl.: signature

Bedeutung

Die Signatur (T, F) einer Datenstruktur besteht aus

  • einer endlichen Menge T von Typbezeichnern und
  • einer endlichen Menge F von Funktionsbezeichnern, wobei für jedes f ∈ F ein Funktionstyp f :: T1 → ··· → Tn → T0, Ti ∈ T, 0 ≤ i ≤ n,

definiert ist. n gibt die Stelligkeit von f an.

glossar/signatur_datenstruktur.txt · Zuletzt geändert: 24.09.2014 16:47 (Externe Bearbeitung)
 
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki