Wat is misschien niet krachtiger dan andere wanneer de middelen van tijd of ruimte worden overwogen?
Veel soorten Turing-machines worden gebruikt om complexiteitsklassen te definiëren, zoals deterministische Turing-machines, probabilistische Turing-machines, niet-deterministische Turing-machines, kwantum Turing-machines, symmetrische Turing-machines en alternerende Turing-machines. Ze zijn in principe allemaal even krachtig, maar wanneer middelen (zoals tijd of ruimte) beperkt zijn, kunnen sommige hiervan krachtiger zijn dan andere.