Nichtdeterministischer endlicher Automat

NFA 
Äquivalenz