Page "ω-automaton" not found :(