Langsamkeitssatz: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K |
K |
||
| Zeile 3: | Zeile 3: | ||
Eine endliche Turingmaschine kann ein Problem ebenfalls nicht langsamer lösen als das langsamste Kamel. Allerdings ist dies einer endlosen Turingmaschine möglich. | 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 so genannte "lange Bank". | + | Eine endlose Turingmaschine ist nicht notwendigerweise unendlich. Es gibt ringförmig-endlose, aber auch [[Offenheit|offen]] endlose Turingmaschinen, die so genannte "lange Bank". |
[[Kategorie:Mathematik]] | [[Kategorie:Mathematik]] | ||
Version vom 24. Mai 2009, 12:39 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 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 so genannte "lange Bank".