master: theoretische informatik ws2014