complexity XML temporal logic infinite words games descriptional complexity logic counter machines pushdown automata context-free grammars reachability separation markov decision processes VASS cost register automata continuity petri nets stochastic processes population protocols trees weighted automata timed automata automata