About the Berechenbarkeit und Formale Sprachen category

(ehemals Theoretische Informatik II)