probabilistic finite automaton (pfa) - Spanisch Englisch Wörterbuch