随机下推自动机

_

stochastic pushdown automata, stochastic pushdown automaton