Nondeterministic automat fixes