MDLUL/entscheidbare Relation

Start=entscheidbare Relation

MDLUL/entscheidbare Relation

Ziel=Registermaschine/Teilmenge_der_natürlichen_Zahlen/Entscheidbarkeit/Definition