MDLUL/entscheidbar
Start=entscheidbar
MDLUL/entscheidbar |
---|
Ziel=Registermaschine/Teilmenge_der_natürlichen_Zahlen/Entscheidbarkeit/Definition
Start=entscheidbar
MDLUL/entscheidbar |
---|
Ziel=Registermaschine/Teilmenge_der_natürlichen_Zahlen/Entscheidbarkeit/Definition