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