Bearbeiten von „Gedächtnisprotokoll FGI208-1“
Zur Navigation springen
Zur Suche springen
Warnung: Du bist nicht angemeldet. Deine IP-Adresse wird bei Bearbeitungen öffentlich sichtbar. Melde dich an oder erstelle ein Benutzerkonto, damit Bearbeitungen deinem Benutzernamen zugeordnet werden.
Die Bearbeitung kann rückgängig gemacht werden. Bitte prüfe den Vergleich unten, um sicherzustellen, dass du dies tun möchtest, und veröffentliche dann unten deine Änderungen, um die Bearbeitung rückgängig zu machen.
Aktuelle Version | Dein Text | ||
Zeile 3: | Zeile 3: | ||
* Davon drei mit kurzen multiple-choice Fragen (je drei Punkte), | * Davon drei mit kurzen multiple-choice Fragen (je drei Punkte), | ||
* zwei zu P/T-Netzen, | * zwei zu P/T-Netzen, | ||
* eine zu | * eine zu Harrel-Graphen, | ||
* drei zu Prozesstermen (vor allem BPA), | * drei zu Prozesstermen (vor allem BPA), | ||
* eine zu Nachrichten in verteilten Systemen. | * eine zu Nachrichten in verteilten Systemen. | ||
Zeile 13: | Zeile 13: | ||
Es kamen kaum Fragen dran die nicht auch in den Übungsaufgaben behandelt wurden. | Es kamen kaum Fragen dran die nicht auch in den Übungsaufgaben behandelt wurden. | ||
== P/T-Netze == | == P/T-Netze== | ||
Gegeben ein P/T-Netz. | Gegeben ein P/T-Netz. | ||
Zeile 21: | Zeile 21: | ||
* Ist der Erreichbarkeitsgraph endlich? | * Ist der Erreichbarkeitsgraph endlich? | ||
* Ist das Netz beschränkt? | * Ist das Netz beschränkt? | ||
* Sind | * Sind p_1 und p_3 ''irgendwas'' | ||
Wenn ein Netz verklemmungsfrei ist, ist es auch lebendig (Ja/Nein) | Wenn ein Netz verklemmungsfrei ist, ist es auch lebendig (Ja/Nein) | ||
Zeile 29: | Zeile 29: | ||
Welches ist die richtige Definition einer Lebendigkeitsinvarianz | Welches ist die richtige Definition einer Lebendigkeitsinvarianz | ||
* | * \forall m \in R(N,m_0) \forall m' \in R(N,m_0) \phi(m') | ||
* | * http://mokrates.de/cgi-bin/texstring?%5Cforall%20m%20%5Cin%20R(N,m_0)%20%5Cforall%20m'%20%5Cin%20R(N,m_0)%20%5Cphi(m') | ||
* | * \forall m \in R(N,m_0) \forall m' \in R(N,m) \phi(m') | ||
* http://mokrates.de/cgi-bin/texstring?%5Cforall%20m%20%5Cin%20R(N,m_0)%20%5Cforall%20m'%20%5Cin%20R(N,m)%20%5Cphi(m') | |||
* \forall m \in R(N,m_0) \forall m' \in R(N,m) \phi(m) | |||
* http://mokrates.de/cgi-bin/texstring?%5Cforall%20m%20%5Cin%20R(N,m_0)%20%5Cforall%20m'%20%5Cin%20R(N,m)%20%5Cphi(m) | |||
Eine multiple-choice-Frage zum Parikh-Bild einer Markierung ( | Eine multiple-choice-Frage zum Parikh-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt. | ||
== | == Harrel-Graphen == | ||
Es war ein | Es war ein Harrel-Graph und ein erreichbarkeitsgraph ohne Bezeichnungen gegeben. Die Bezeichnungen mussten ergänzt werden. | ||
Um was erweitern | Um was erweitern Harrel-Graphen endliche Automaten? | ||
Definieren sie ''reaktives System (?)'' | Definieren sie ''reaktives System (?)'' | ||
Zeile 55: | Zeile 58: | ||
Multiple-Choice dazu. | Multiple-Choice dazu. | ||
Der Algorithmus zur Überprüfung eines CTL-Ausdrucks an einer | Der Algorithmus zur Überprüfung eines CTL-Ausdrucks an einer Krippke-Struktur hat eine Laufzeit von: | ||
* exponentiell | * exponentiell | ||
Zeile 66: | Zeile 69: | ||
sind | sind | ||
[[Kategorie:Gedaechtnisprotokoll | [[Kategorie:Gedaechtnisprotokoll]] |