Id: halte.tex,v 1.2 2003/10/24 13:16:42 joe Exp
Da Algorithmen beschreibungs-endlich sind, können wir sie auch durchnumerieren. Z. B. Java-Quelltexte erst der Länge nach und innerhalb der Länge alphabetisch. Die syntax- und typ-fehlerbehafteten Texte streichen wir, übrig bleibt eine Anordnung aller tatsächlich kompilier- und ausführbaren Programm-Texte.