المُصحّح الإملائي في الاعتلام، هو تطبيق يستعمل معجما تِقانيا (إلكترونيا) لتحليل النصوص والمستندات من أجل اكتشاف ما وقع في كلماتها من أخطاء إملائية، ثمّ تدقيق هذه الكلمات وتصحيحها. يتألّف المصحّح الإملائي من معجم ونَهْجَل يستعمل هذا المعجم. في كثير من الأحيان، تُدمج المصحّحات الإملائية في النهاجل التي تُعالج النصوص، وأحيانا في تطبيقات أخرى، مثل قواعد البيانات النصّية bases de données textuelles، كما يمكن أيضا أن يكون على شكل جَدَوات utilitaires. يُجرى التصحيح أثناء كتابة النصّ أو في عملية لاحقة أيضا.

يُستعمل أيضا مصطلح مُدقّق إملائي، ومن الأحسن استعمال المصحّح الإملائي، لأنّ التصحيح أعمّ، والتدقيق زيادة التصحيح على الصحيح. الجَدَوات، جمْع جَداة من الجَدوى وهي المنفعة، والجداة، مِنْطاق logiciel يحقّق عمليات الإدارة والتشغيل أو الاستغلال. تُعرف أيضا بنهجل الخِدْمة.

يجب ألّا يخلط بين المُصحِّح الإملائي والمصحّح النحوي (يسمى أيضا بالمدقق النحوي). يقارن المصحّح الإملائي الكلمات في النص بكلمات أخرى موجودة في معجمه، فإذا كانت كلمات النص موجودة في المعجم، فإنّه يقبلها، وإلا يُقدّم اقتراحا واحدا أو أكثر لكلمات مماثلة. يتحقق المصحّح النحوي من توافق كلمات النص مع القواعد النحوية والصرفية (التأنيث والتذكير، ترتيب الكلمات، إلخ)، على الرغم من وجودها في المعجم، ويتحقّق أيضا من قواعد الدَّلَلوتا أي علم الدلالة: معنى الجملة، وغياب الخلط بين المتجانسات، إلخ.