Simulator for Quantum and Probabilistic Automata