Da jeder nichtdeterministische Automat durch einen deterministischen simuliert werden kann behaupte ich steif und fest: ich weiß es nicht!