NFA (nichtdeterministischer endlicher Automat)