---

Geschrieben von Anna14059 am 09.01.2021 um 15:56:

  Beschreibung der ADT-Schlange durch Axiome

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

---

Geschrieben von as_string am 11.01.2021 um 10:51:

 

Also ich meine, das würde so nicht ausreichen.
Schau mal hier auf Seite 10:
https://ls11-www.cs.tu-dortmund.de/people/rudolph/teaching/lectures/EINI/WS2007-08/kap8a.pdf

Gruß
Marco