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