Zur Struktur nichtdeterministischer Berechnungen