Some Consequences of the Linear Approximation of the Stochastic Context-Free Calculus
Marco Carpentier · 2013
We introduce a technique of linear approximation for the stochastic pushdown computation with finite cut point. Some fundamental consequences of the approximation result are discussed. The technique is extended so to characterize the stochastic pushdown calculus in terms of convergent sequences of finite-state approximations.