Probabilistic Deterministic Infinite Automata