Formale Sprachen und endliche Automaten