omega automaton#Acceptance conditions