Probabilistic Deterministic Infinite Automata

by David Pfau , Nicholas Bartlett , Frank Wood