11.10.2013 Aufrufe

Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

+ nat ¢ nat nat<br />

nat ¢ nat bool<br />

...<br />

2.3. Elementare Datentypen<br />

Das Operationssymbol succ steht für die Nachfolgerfunktion successor, also den<br />

unären Operator ‘ ’.<br />

Das Beispiel ist angelehnt an die algebraische Spezifikation von Datentypen (später<br />

im Detail!)<br />

graphische Notation durch Signaturgraph (Abb. 2.2)<br />

+1 not<br />

+, -, *, ...<br />

2.3.3. Der Datentyp bool<br />

nat bool<br />

>,

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!