Title: Reduktionssysteme, formale Sprachen und Automatentheorie