Abuzer Yakaryilmaz A. C. Cem Say Succinctness of two-way probabilistic and quantum finite automata http://arxiv.org/abs/0903.0050 2009 CoRR abs/0903.0050 db/journals/corr/corr0903.html#abs-0903-0050 informal publication