BuchiExampleAutomata.txt

[Alphabet]
a
b
c
d

[States]
00
10
20
21
30
31
40
41
42
50
51
52
53
60
61
62
63
70
71
72
73
80
81

[Initial State]
00

[Transitions]
00 a -> 10 70
10 b -> 20 21
20 c -> 20 10
20 d -> 30 31
21 a -> 21 21
30 b -> 40 41
30 b -> 31 50
31 c -> 70 71
31 c -> 42 70
40 d -> 50 51
41 a -> 52 53
50 b -> 60 61
51 c -> 62 63
52 d -> 53 53
53 a -> 53 70
60 b -> 70 70
61 c -> 61 61
61 c -> 51 60
62 d -> 60 62
62 a -> 52 60
63 b -> 63 63
63 b -> 53 62
70 c -> 71 80
71 d -> 70 80
72 a -> 73 81
73 b -> 72 81
80 d -> 70 71
81 a -> 81 81

[Acceptance Conditions]
21 42 53 71 80