nichtdeterministische