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