Spezifikation abstrakter Datentypen

[DrewiN_]

Guten Tag,

bin ein Anfänger in Sachen Programmierung, unsere Vorlesung/Übung ist leider ausgefallen und deshalb verstehe ich das ganze nicht. Tipps wären super hilfreich!


Wir sollen einen Keller "LimitedStack" mit Größenbeschränkung spezifizieren. Das Hinzufügen eines Elements nach Erreichen der Größenbeschränkung soll ohne Wirkung bleiben.

Spoiler: Spezifikation Stack Vorlage

specification stack
imports
bool
nat
sorts
Elem
Stack
constructors
empty : -> Stack
push : Elem x Stack -> Stack
functions
top : Stack -> Elem? // Top-most element
pop : Stack -> Stack? // Stack without top-most element
isEmpty : Stack -> Bool // Test for empty stack
length : Stack -> Nat // Number of elements on the stack
variables
e : Elem
s : Stack
equations
top(push(e, s)) = e
pop(push(e, s)) = s
isEmpty(empty) = true
isEmpty(push(e, s)) = false
length(empty) = zero
length(push(e, s)) = succ(length(s))

Die Vorlage ist im Spoiler. Für jeden Tipp bin ich als Anfänger unendlich dankbar!

 

[Saheeda]

Was hast du denn bisher? Wir helfen gern, aber machen nicht deine Aufgaben.

 

[DrewiN_]

Genau das verlange ich keines Wegs, aber ich habe keinen Ansatz um anzufangen.

 

[Saheeda]

Fangen wir doch mal oben mit den Imports an:
bool und Stack könnten die von Java sein, die anderen müssten Uni-spezifische Sachen sein. Wie du die einbindest, muss irgendwo in deinen Unterlagen stehen.

Wenn du sämtliche Imports hast, brauchst du eine Klasse LimitedStack, welche intern einen Stack mit Elementen verwaltet.

Außerdem zwei Konstruktoren:

constructors
empty : -> Stack
push : Elem x Stack -> Stack

Der eine soll einfach nur den Stack initialisieren, der andere direkt übergebene Elemente auf den Stack legen.


Functions ist auch noch eindeutig:

functions
top : Stack -> Elem? // Top-most element
pop : Stack -> Stack? // Stack without top-most element
isEmpty : Stack -> Bool // Test for empty stack
length : Stack -> Nat // Number of elements on the stack

Deine Klasse LimitedStack soll Methoden haben, welche die genannten Aufgaben erfüllen.

Mit dem Rest unter Variablen und Equations kann ich dir leider nicht helfen, da mir nicht so ganz klar ist, was diese Anforderungen aussagen sollen.