Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 8 » Kommunikation und Parallele Prozesse SS15   (Übersicht)

no way to compare when less than two revisions

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.


—pruefungen:hauptstudium:ls8:cpp_ss15 [04.08.2015 10:07] (aktuell) – angelegt bankinus
Zeile 1: Zeile 1:
 +====== Kommunikation und Parallele Prozesse SS15 ======
  
 +**Fragen** Antworten
 +  * **wie sehen die Formeln aus?** Gramatik aufgestellt
 +  * **wie verhalten sich diese Formeln der Semantik nach?** Semantik der Formeln erklärt
 +  * **Prozessdefinition für Puffer mit Kapazität 1 B1** B1 = ein.aus.Buf
 +  * **Prozessdefinition für Puffer mit Kapazität 2 B2** ''B2 = ein.B2' B2'=aus.B2 + ein.B2'' B2''=aus.B2'''
 +  * **Wie kann man einen Puffer mit Kapazität 2 β2 unter zu Hilfenahme  der Def. von B1 definieren** β2 = B1|B1
 +  * **Sind diese Prozesse äquivalent?** kommt unter Umständen auf die Äquivalenz an, Äquivalenzen aufgelistet
 +  * **Wie verhalten sich Traceäquivalenz und Bisimularität zueinander?** Bisimilarität ⊆ Traceäquivalenz
 +  * **Erst Bisim. prüfen, vlt ergibt sich dann ja Traceäquivalenz** Bisimulation aufgestellt
 +  * **Wie lautet der Satz von Knaster-Tarsky?** Satz erklärt
 +  * **Was haben Fixpunkte mit der Vorlesung zu tun?** Fixpunktcharakterisierung der Bisim. erklärt
 +  * **Wie war das mit der logischen Äquivalenz? Bzgl. welcher Lgoik?** HML
 +  * **Unterschied zwischen HML und propositionaler Logik?**  Modaloperatoren
 +  * **Wie verhält sich [α]φ?** q erfüllt [α]φ gdw. f.a q(->α)q' : q' erfüllt φ
 +  * **Wie verhalten sich Bisimilarität und logische Äquivalenz zueinander?** Fallen zusammen bei endlicher Verzweigung
 +  * **Was bleibt von dieser Beziehung ohne endliche Verzweigung?** Bisimilarität impliziert log. Äquivalenz, weil log. Äquvalenz mit Vereinigung der beschränkten Bisimilaritäten zusammenfällt(Anmerkung des Prüfers: Nur bei endlicher Zahl der Aktionen)