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