Gedächtnisprotokoll FGI209-2: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
| Zeile 2: | Zeile 2: | ||
== Aufgabe 1 == | == Aufgabe 1 == | ||
* 1) Gegen waren zwei Transitionssysteme mit Sync = *leereMenge*. Geben sie das synchrone TS an. | * 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) | * 2) Geben sie L(TS_1) und L(TS_2) an, bestimmen sie auch L(TS_3) = L(TS_1) \cap L(TS_2) | ||
[[Bild:A1.jpg]] | |||
* 3) Formen sie TS_3 so um, dass es den Schnitt akzeptiert. | * 3) Formen sie TS_3 so um, dass es den Schnitt akzeptiert. | ||
* 4) Geben sie die Synchronisationsmenge an. | * 4) Geben sie die Synchronisationsmenge an. | ||
Version vom 2. April 2009, 14:37 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?