ERJ1 - BTI7064 - Automaten und Formale Sprachen - 13/14