Übung 1 1. Gib ein Transitionssystem an, das dieser Beschreibung entspricht und formuliere angemessene Fairnessannahmen! z.B.: init(pc[i]) = “thinking” init(fork[i]) = 1 pc[i] = “thinking” pc[i] = “hungry” pc[i] = “hungry” fork[i] pc[i] = “hasleft, fork[i] = 0 pc[i] = “hasleft” fork[(i+1) mod 5] pc[i] = “eating”, fork[[(i+1) mod 5] = 0 pc[i] = “eating” pc[i] = “hasright”, fork[i] = 1 pc[i] = “hasright” pc[i] = “thinking”, fork[(i+1) mod 5] = 1 stark fair: g1,g2 schwach fair: g3,g4 keine Fairness: g0 2. Spezifiziere wünschenswerte Sicherheits- und Lebendigkeitseigenschaften! L: G ( pc[i] = “hungry” F pc[i] = “eating”) S: G (pc[i] “eating” pc[(i+1) mod 5] “eating”)
Übung 2 Baumkanten Rückwärts Für ein von Dir gewähltes Tiefensuchszenario, Ordne den Knoten die passenden dfs-Nummern zu 2. Klassifiziere die Kanten 3. Bestimme die lowlink- Werte 4. Kennzeichne die SZK 7 8 Vorwärts 7 4 4 Quer 7 9 7 3 6 3 3 3 5 11 11 13 2 12 2 13 15 11 11 11 14 10 10 1
Übung 3 Gib einen möglichst kleinen gerichteten Graphen an, der bei geeigneter Tiefensuchreihenfolge alle Kantentypen enthält (und bei Vorwärts- und Querkanten jeweils sowohl eine innerhalb einer SZK als auch eine zwischen verschiedenen SZK). 2 3 Die Schleife bei Zst. 2 ist eine Vorwärtskante 1