Moderne Theoretische Informatik - VL 04