Properties of probabilistic pushdown automata - Macarie, Ioan I.; Ogiwara, Mitsunori (Department of Computer Science, Univ., 1994)