Gedächtnisprotokoll FGI209-2: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K (→Aufgabe 10) |
K (→Aufgabe 1) |
||
| Zeile 1: | Zeile 1: | ||
Zum zweiten Versuch der FGI2-Klausur wurde in PhilA geschrieben, Aufsichten hatten Herr Valk und Herr Köhler. Insgesamt waren 181Punkte zu erreichen, der Schwierigkeitsgrad war ähnlich hoch wie zur ersten Klausur. | |||
== Aufgabe 1 == | == Aufgabe 1 == | ||
* 1) Gegen waren zwei Transitionssysteme mit Sync = *leereMenge*. Geben sie das synchrone TS an. | |||
* 2) Geben sie L(TS_1) und L(TS_2) an, bestimmen sie auch L(TS_3) = L(TS_1) \cap L(TS_2) | |||
* 3) Formen sie TS_3 so um, dass es den Schnitt akzeptiert. | |||
* 4) Geben sie die Synchronisationsmenge an. | |||
== Aufgabe 2 == | == Aufgabe 2 == | ||
== Aufgabe 3 == | == Aufgabe 3 == | ||
== Aufgabe 4 == | == Aufgabe 4 == | ||
== Aufgabe 5 == | == Aufgabe 5 == | ||
== Aufgabe 6 == | == Aufgabe 6 == | ||
== Aufgabe 7 == | == Aufgabe 7 == | ||
== Aufgabe 8 == | == Aufgabe 8 == | ||
== Aufgabe 9 == | == Aufgabe 9 == | ||
Version vom 2. April 2009, 12:13 Uhr
Zum zweiten Versuch der FGI2-Klausur wurde in PhilA geschrieben, Aufsichten hatten Herr Valk und Herr Köhler. Insgesamt waren 181Punkte zu erreichen, der Schwierigkeitsgrad war ähnlich hoch wie zur ersten Klausur.
Aufgabe 1
- 1) Gegen waren zwei Transitionssysteme mit Sync = *leereMenge*. Geben sie das synchrone TS an.
- 2) Geben sie L(TS_1) und L(TS_2) an, bestimmen sie auch L(TS_3) = L(TS_1) \cap L(TS_2)
- 3) Formen sie TS_3 so um, dass es den Schnitt akzeptiert.
- 4) Geben sie die Synchronisationsmenge an.
Aufgabe 2
Aufgabe 3
Aufgabe 4
Aufgabe 5
Aufgabe 6
Aufgabe 7
Aufgabe 8
Aufgabe 9
Man musste die logischen, nicht die vektoriellen, Zeitstempel eintragen.
Aufgabe 10
- 1) Wie unterscheiden sich der Ausfallalgorithmus von dem des byzantinischen Konsenses?
- 2) Was ist Nachrichtenkomplexität?
- 3) Geben Sie die Nachrichtenkomplexität des Ausfallalgorithmuses an.
- 4) Warum ist der erste Algorithmus aus der Vorlesung exponentiell?
- 5) Warum ist der zweite Algorithmus aus der Vorlesung polinomiell?