probabilistic Turing machine - Spanisch Englisch Wörterbuch