Ich würde mal sagen, dass beide das selbe berechnen können, sofern beide Turing-vollständig sind.