Automaten, formale Sprachen und Entscheidbarkeit