Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit