A computer program which reads a computer program in a higher level (see ordinality ) language , usually in the one a human programmer uses to state his problem algorithm ically, and translates it into the machine language of a particular computer . (Krippendorff )