"Theoretische Informatik: Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen" - читать интересную книгу автора (Alexander Asteroth, Christel Baier)