Update non-deterministic atomata