Equivalences between probabilistic sequential machines