Langsamkeitssatz: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
WiKa (Diskussion | Beiträge) (+Lange Bank) |
Dufo (Diskussion | Beiträge) K (interwiki) |
||
| Zeile 2: | Zeile 2: | ||
Eine endliche Turingmaschine kann ein Problem ebenfalls nicht langsamer 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 [[Offenheit|offen]] endlose Turingmaschinen, die vielfach auch als belastbare [[Möbius]]-Schleife bekannte, so genannte „[[Lange Bank]]“. | Eine endliche Turingmaschine kann ein Problem ebenfalls nicht langsamer 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 [[Offenheit|offen]] endlose Turingmaschinen, die vielfach auch als belastbare [[Möbius]]-Schleife bekannte, so genannte „[[Lange Bank]]“. | ||
| + | |||
| + | [[wiki:Langsamkeit]] | ||
| + | [[wiki:Satz]] | ||
[[Kategorie:Mathematik]] | [[Kategorie:Mathematik]] | ||
Version vom 10. Februar 2010, 13:26 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, dass das Problem noch langsamer löst, als das Langsamste.
Eine endliche Turingmaschine kann ein Problem ebenfalls nicht langsamer 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 vielfach auch als belastbare Möbius-Schleife bekannte, so genannte „Lange Bank“.