"korrigeringsprogrammer" er et 22-bokstavers substantiv som brukes som synonym for "korreksjonsformlene". korreksjonsformlene betyr: Programmer for korrigering