markov decision processes stochastic processes graphs Markov chains petri nets separation descriptional complexity XML neural networks trees cost register automata circuits timed automata algebra networks infinite words counter machines context-free grammars logic VASS weighted automata continuity games pushdown automata Skolem problem transducers temporal logic automata CFL reachability population protocols complexity