next up previous
Nächste Seite: Algorithmisch unlösbare Probleme (2) Aufwärts: Berechenbarkeit, Komplexität (24. 10. Vorherige Seite: Suchprobleme (3)

Algorithmisch unlösbare Probleme (1)

$ $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 $P_0, P_1, \ldots$ aller tatsächlich kompilier- und ausführbaren Programm-Texte.



Johannes Waldmann 2004-01-30