eliminação do não-determinismo