MDLUL/entscheidbar

MDLUL/entscheidbar

Start=entscheidbar

Ziel=Registermaschine/Teilmenge_der_natürlichen_Zahlen/Entscheidbarkeit/Definition