Probabilistic input-driven pushdown automata

Abstract

В этой работе впервые рассмотрены вероятностные магазинные автоматы, управляемые входом, и доказано, что они могут быть преобразованы к детерминированным. Также доказаны нижняя и верхняя оценки на число состояний, требуемых для детерминизации. В некоторых особых случаях доказаны более точные оценки .

In this work we introduce the concept of probabilistic input-driven pushdown automata and prove that it can be determinized. We provide a lower and an upper bound for the number of states required for the determinization. We also give sharper upper bounds in some special cases.