MDLUL/entscheidbar (Theorie)

Start=entscheidbar (Theorie)

MDLUL/entscheidbar (Theorie)

Ziel=Registermaschine/Teilmenge_der_natürlichen_Zahlen/Entscheidbarkeit/Definition