What translates a natural or an artificial language into another representation of that language and, for programming languages also execute the resulting code ?