|
Meine Frage:
Hallo,
ich habe in meinen Unterlagen die Fragestellung:
"Beschreiben Sie das Verhalten der ADT-Schlange durch einige Axiome".
insert: QUEUExELEMENT-->QUEUE //Element hinzufügen
delete:QUEUE-->QUEUE //Element löschen
front:QUEUE-->ELEMENT //Element an der Spitze
emptyQueue: -->QUEUE //leere Schlange
isEmpty:QUEUE--> BOOL. //Schlange leer?
Meine Ideen:
1) emptyQueue(insert(e,k))=k
2) delete(insert(e,k))=k
3) isEmpty(emptyQueue)=true
4) isEmpty(insert(e,k))=false
|
|