This papers presents a general framework for the uniform random generation of
deterministic real-time accessible pushdown automata. A polynomial time
algorithm to randomly generate a pushdown automaton having a fixed stack
operations total size is proposed. The influence of the accepting condition
(empty stack, final state) on the reachability of the generated automata is
investigated.Comment: Frank Drewes. CIAA 2015, Aug 2015, Umea, Sweden. Springer, 9223,
pp.12, 2015, Implementation and Application of Automata - 20th International
Conferenc
