The definition of the complexity class FP is stable across different machine-based models of computa...