omega automaton#Acceptance conditions

  1. REDIRECT Ω-automaton