HOA: v1
name: "#11.2(a)"
States: 10
Start: 0
acc-name: Buchi
Acceptance: 1 Inf(0)
AP: 3 "a" "b" "c"
--BODY--
State: 0
 [ 0 & !1 & !2] 1
 [!0 &  1 & !2] 2
 [!0 & !1 &  2] 3
State: 1 {0}
 [ 0 & !1 & !2] 4
 [!0 &  1 & !2] 5
 [!0 & !1 &  2] 6
State: 2
 [ 0 & !1 & !2] 1
 [!0 &  1 & !2] 2
 [!0 & !1 &  2] 3
State: 3
 [ 0 & !1 & !2] 1
 [!0 &  1 & !2] 2
 [!0 & !1 &  2] 3
State: 4
 [ 0 & !1 & !2] 4
 [!0 &  1 & !2] 5
 [!0 & !1 &  2] 6
State: 5
 [ 0 & !1 & !2] 7
 [!0 &  1 & !2] 8
 [!0 & !1 &  2] 9
State: 6
 [ 0 & !1 & !2] 4
 [!0 &  1 & !2] 5
 [!0 & !1 &  2] 6
State: 7
 [ 0 & !1 & !2] 7
 [!0 &  1 & !2] 8
 [!0 & !1 &  2] 9
State: 8
 [ 0 & !1 & !2] 7
 [!0 &  1 & !2] 8
 [!0 & !1 &  2] 9
State: 9
 [ 0 & !1 & !2] 1
 [!0 &  1 & !2] 2
 [!0 & !1 &  2] 3
--END--