Beschreibung der ADT-Schlange durch Axiome |
09.01.2021, 15:56 | 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 |
|
|
11.01.2021, 10:51 | 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 |
|