Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
-- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
--- Beschreibung der ADT-Schlange durch Axiome (http://www.informatikerboard.de/board/thread.php?threadid=4346)
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
Forensoftware: Burning Board, entwickelt von WoltLab GmbH