Rabin automata

the acceptance condition is a set $α = {< α_{1}, β_{1} >, \dots, < α_{k}, β_{k} >}$ , where $α_{i}, β_{i} \subseteq Q$

a run is accepting iff there is $1 \leq i \leq k$ such that $in f (r) \cap α_{i} \neq = \emptyset$ and $in f (r) \cap β_{i} = \emptyset$