5CS-TI2BK-CS: Berechenbarkeit und Komplexität