"probabilistic Turing machine" Deutsche bedeutung