Start=Entscheidbarkeit

MDLUL/Entscheidbarkeit

Ziel=Registermaschine/Teilmenge_der_natürlichen_Zahlen/Entscheidbarkeit/Definition