Beschreibung der ADT-Schlange durch Axiome

Neue Frage »

Auf diesen Beitrag antworten »
Anna14059 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
 
Auf diesen Beitrag antworten »
as_string

Also ich meine, das würde so nicht ausreichen.
Schau mal hier auf Seite 10:
https://ls11-www.cs.tu-dortmund.de/peopl...07-08/kap8a.pdf

Gruß
Marco
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »