Start=entscheidbare

MDLUL/entscheidbare

Siehe=entscheidbar
MDLUL/entscheidbar
Ziel=Registermaschine/Teilmenge_der_natürlichen_Zahlen/Entscheidbarkeit/Definition