Skip to content

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)