mengenoperationen und nichtdeterministische Turingmaschinen erweitert.