Hi, ist der Erreichbarkeitsgraph auf S. 56 (Abb. 3.16, Skript SS 06) fehlerhaft?
t1Bb führt doch zu p1:a, p2:b…und t1aBa zu p1: b p2: a…so sind 4 Kantenbeschriftungen falsch (jeweils Ba und Bb vertauscht, B = beta)???

Wirklich fehlerhaft ist das nicht, nur etwas unglücklich aufgeschrieben und vermutlich nicht beabsichtigt.
Du hast eine Belegung beta_a, aber das heisst nicht, dass in dieser Belegung x=a gelten muss.
Bei beta^dach_a fährt z=a los, da ist dann die intuitive Bezeichnung für die Belegung.

mmh, naja doch…auf s. 57 unten wird genau diese belegung (beta_a: x=a, y = rsa) zugeordnet.
und da erst auf s. 58 auf den erreichbarkeitsgraphen bezug genommen wird, sollte die belegung ja auch gelten. danke für die antwort…scheinbt dann wohl also ein fehler zu sein!?