“…In particular, one such class has been extensively studied since the mid 00s: Markov chains generated by programs with (possibly recursive) procedures. This class is captured by two equivalent formalisms: probabilistic Pushdown Automata (pPDA) [22,23,14,16,8], and Recursive Markov Chains [29,27,28,30]. Intuitively, the equivalence of the two models derives from the well-known fact that a recursive program can be compiled into a "plain" program that manipulates a stack, i.e., into a pushdown automaton.…”