Acyclic Probabilistic Finite Automata