simplify acceptance conditons using color inclusions
HOA: v1
States: 2
Start: 0
AP: 2 "p0" "p1"
Acceptance: 4 (Fin(3) & (Inf(1) | Fin(0))) | (Inf(0)&Inf(2)&Inf(3))
properties: trans-labels explicit-labels trans-acc deterministic
--BODY--
State: 0
[0&!1] 0 {2 3}
[!0&!1] 1 {0 1}
State: 1
[!0&!1] 0 {0 1}
[0&1] 1 {1 2}
--END--
Currently nothing detects that color 3 always implies color 2, so Inf(2)&Inf(3)
can be rewritten as Inf(3)
. Doing so, either in partial_degeneralize()
or (inclusive) in simplify_acceptance_here()
would help. In this case the partial degenralization could use only 3 states.