• 5 Nichtdeterministische Automaten (NEA)