Prinzipielle Grenzen der Berechenbarkeit: Unterschied zwischen den Versionen
Aus DMUW-Wiki
< Lernpfade | Berechenbarkeit
K |
(→Abzählbarkeit) |
||
Zeile 12: | Zeile 12: | ||
== Algorithmus == | == Algorithmus == | ||
+ | <!--- | ||
== Abzählbarkeit == | == Abzählbarkeit == | ||
Zeile 30: | Zeile 31: | ||
Programme sind eine endliche Folge von Wörtern über einem endlichen Alphabet (in der Praxis meist der [http://de.wikipedia.org/wiki/ASCII ASCII-Code]). Schreibt man den kompletten Programmtext in eine Zeile, so kann man die einzelnen Programme zunächst der Länge nach ordnen. Innerhalb der Programme einer festen Länge ordnet man diese lexikographisch, d.h. wie in einem Telefonbuch. Damit kann man folgern, dass die Menge der Programme abzählbar ist. | Programme sind eine endliche Folge von Wörtern über einem endlichen Alphabet (in der Praxis meist der [http://de.wikipedia.org/wiki/ASCII ASCII-Code]). Schreibt man den kompletten Programmtext in eine Zeile, so kann man die einzelnen Programme zunächst der Länge nach ordnen. Innerhalb der Programme einer festen Länge ordnet man diese lexikographisch, d.h. wie in einem Telefonbuch. Damit kann man folgern, dass die Menge der Programme abzählbar ist. | ||
+ | ---!> | ||
== Aufzählbarkeit == | == Aufzählbarkeit == |
Version vom 25. September 2009, 13:46 Uhr