MDLUL/aufzählbar

MDLUL/aufzählbar

Start=aufzählbar

Ziel=Registermaschine/Teilmenge_der_natürlichen_Zahlen/Aufzählbarkeit/Definition