A （） translates a computer program written in a human-readable computer language into a form that a computer can execute.