FSI-Zimmer: offen
Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 8 » CPP (Ü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_ss13 [29.07.2013 13:42] (aktuell) – angelegt siccegge | ||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| + | == CPP == | ||
| + | |||
| + | * Geben sie die Grammatik für CPP an | ||
| + | * Was genau ist dieses τ | ||
| + | * Wann treten diese τ-Transitionen normalerweise auf (→ Parallele Ausführung) | ||
| + | * Mal ein Beispiel zu obigem malen | ||
| + | * Gleichheit von Prozessen (Spuräquivalenz, | ||
| + | * Was ist schwache Bisimulation? | ||
| + | * Was ist der Unterschied zu schwacher Bisimulation | ||
| + | |||
| + | == HML == | ||
| + | |||
| + | * Es gibt da dieses HML, wie hängt das mit der starken Bisimulation zusammen? | ||
| + | * Grammatik für HML | ||
| + | * Semantik der einzelnen Operationen? | ||
| + | * Wie war das genau mit den Fixpunkten, wie sind die konstruiert, | ||