MDLUL/Entscheidbarkeit
Start=Entscheidbarkeit
MDLUL/Entscheidbarkeit |
---|
Ziel=Registermaschine/Teilmenge_der_natürlichen_Zahlen/Entscheidbarkeit/Definition
Start=Entscheidbarkeit
MDLUL/Entscheidbarkeit |
---|
Ziel=Registermaschine/Teilmenge_der_natürlichen_Zahlen/Entscheidbarkeit/Definition