See TuringEquivalent.