Members of the first machine class should be considered reasonable models of computation for formula...