"korrigeringsprogram" er et 19-bokstavers substantiv som brukes som synonym for "korreksjonsformlene". korreksjonsformlene betyr: Program for korrigering