Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Suche » Suchergebnis » Hallo Gast [Anmelden|Registrieren]
Zeige Beiträge 1 bis 1 von 1 Treffern
Autor Beitrag
Thema: Beschreibung der ADT-Schlange durch Axiome
Anna14059

Antworten: 1
Hits: 132
Beschreibung der ADT-Schlange durch Axiome 09.01.2021 15:56 Forum: Theoretische Informatik


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
Zeige Beiträge 1 bis 1 von 1 Treffern