A computer is a machine for constructing mappings from input to output.