ASYMPTOTIC OPTIMAL AUTOMATION WITH EXPONENTIAL SPEED OF CONVERGENCE