OOPM 2015/16 - Spezifikation abstrakter Datentypen
Skript zur Vorlesung
Anwendung der Methode der algebraischen Spezifikation für abstrakte Datentypen: [.pdf]
Spezifikation ausgewählter ADTs
Die ADTs werden auch im Skript bzw. dessen Anhang spezifiziert.
Inhalt
Wir verlinken nach dem 101wiki für Begriffe.
- Der Begriff des abstrakten Datentyps
- Ausgewählte ADTs
- Der Boolesche ADT
- Die natürlichen Zahlen
- Die ganzen Zahlen
- Liste
- Keller
- Warteschlange
- Prioritätswarteschlange
- Menge
- Multimenge
- Assoziatives Datenfeld
Fragestellungen aus der Vorlesung
- Was ist ein abstrakter Datentyp?
- Welche typischen abstrakten Datentypen gibt es?
- Wie kann man diese spezifizieren?
- (Später: Wie kann man diese implementieren?)
- (Später: Was ist die Komplexität der Operationen?)
Empfehlungen zur Nachbereitung
- Finden weiterer ADTs und Spezifikation derselbigen
page revision: 11, last edited: 24 Nov 2015 14:06