Langsamkeitssatz: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K |
|||
| Zeile 5: | Zeile 5: | ||
Eine endlose Turingmaschine ist nicht notwendigerweise unendlich. Es gibt ringförmig-endlose, aber auch offen endlose Turingmaschinen, die sogenannte "lange Bank". | Eine endlose Turingmaschine ist nicht notwendigerweise unendlich. Es gibt ringförmig-endlose, aber auch offen endlose Turingmaschinen, die sogenannte "lange Bank". | ||
| − | [[Kategorie: | + | [[Kategorie:Mathemagie]] |
Version vom 18. November 2005, 08:35 Uhr
Der Langsamkeitssatz in der Mathemagie sagt aus, dass es für jedes lösbare mathematische Problem ein Kamel gibt, das es am langsamsten löst. Das ist insofern für die Planung bedeutsam, da es kein Kamel geben kann, das das Problem noch langsamer löst, als das langsamste.
Eine endliche Turingmaschine kann ein Problem ebenfalls nicht langamer lösen als das langsamste Kamel. Allerdings ist dies einer endlosen Turingmaschine möglich.
Eine endlose Turingmaschine ist nicht notwendigerweise unendlich. Es gibt ringförmig-endlose, aber auch offen endlose Turingmaschinen, die sogenannte "lange Bank".