Einführung in die Automatentheorie, formale Sprachen und BerechenbarkeitJohn E. HopcroftWyprzedaneObserwuj