Frage zu: Berechenbarkeit Folie "GdI2 V13-68" (Seite 68)
Guten Tag,
ich beziehe mich auf den Text "(genauer: es gibt eine bijektive Abbildung phi : L -> IN0 , so dass phi und phi^-1 berechenbar sind).":
"L" wird hier nicht definiert. Um was handelt es sich hierbei?