@Article{CHPW98, author={Anne Condon and Lisa Hellerstein and Samuel Pottle and Avi Wigderson}, title={Finite state automata with nondeterministic and probabilistic states}, journal={Siam Journal on Computing}, volume={27}, month={3}, pages={739-762}, year={1998}, }