1. 1 Übung 1 Sei D = { a,b,c,d,e } ein skalarer Datentyp Bestimme den kanonischen Repräsentanten von s: x1 = bla x2[a] = 5 x2[b] = 3 x2[c] = 3 x2[d] = 4 x2[e] = 3 x3 = c x4 = b canrep(s): x1 = bla x2[a] = 3 x2[b] = 3 x2[c] = 3 x2[d] = 4 x2[e] = 5 x3 = a x4 = b c a b e c d a e

2. 2 Übung 2 Konstruiere das symmetrisch reduzierte Transitionssystem zu folgendem Programm y1,y2: scalarset {1,2} pc1,pc2: {a,b,c} z: array {1,2} of boolean pc1 = a choose(y1),pc1 := b pc1 = b y2 := y1, pc1 := c pc1 = c pc2 = c pc1 := a, pc2 := a pc2 = a pc1 = c pc2 := b pc2 = b z[y2] := true, pc2 := c init(z) := [false,false] init(pc1) = a init(pc2) = a

3. 3 alle Zustaende: (pc1,pc2,y1,y2,z[y1],z[y2]) aa11ff aa12ff ba11ff ba12ff ca11ffcb11ffcc11tf aa11tf ba11tf ba12ft ca11tf ca11ft cb11tf cb11ft cc11tt aa11tt ba11tt ba12tt ca11tt cb11tt (red.: 20 Zst, voll: 40 Zst.)

4. 4 Übung 3 Bestimme alle Automorphismen des folgenden Graphen: 1 5 2 6 3 4 7 1 2 3 4 5 6 7 1 3 2 3 1 4 6 5 6 4 7 1 4 2 5 3 6 4 1 5 2 6 3 7 1 6 2 5 3 4 4 3 5 2 6 1 7