Probabilistic input-driven pushdown automata. - Alex Rose 003; Alexander Okhotin (Inf. Comput., 2025)