Informatiker Board | Theoretische Informatik | Beschreibung der ADT-Schlange durch Axiome

Informatiker Board » Themengebiete » Theoretische Informatik » Beschreibung der ADT-Schlange durch Axiome » Antwort erstellen

» Hallo Gast [Anmelden|Registrieren]

Antwort erstellen

Benutzername:

(du bist nicht eingeloggt!)

Thema:

Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

Die letzten 2 Beiträge
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
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