fixed semantics for alternating automata + typos