"nondeterministic" Deutsche bedeutung