Einführung in die theoretische Informatik. Formale Sprachen und Automatentheorie - Hedtstück, Ulrich (Oldenbourg, 2000)