convertion to generalized Rabin
It would be useful to be able to convert any acceptance condition to generalized Rabin
This would work as follows:
- convert acceptance to DNF
- in each clause, merge Fin(x1)&Fin(x2)&...&Fin(xn) into a single Fin(y)
It would be useful to be able to convert any acceptance condition to generalized Rabin
This would work as follows: