Det ble bevist at alle disse metodene er like kraftige. Alle kan bli emulert av en turingmaskin, og omvendt kan hver av dem selv emulere en turingmaskin.