Hüllenoperationen für nicht-deterministische Automaten