Sebuah metode substitusi yang menggunakan analisis leksikal dan dukungan kamus untuk mengajukan calon untuk teks dikoreksi, misalnya: saran ejaan, resolusi permintaan pencarian, dan pencarian tesaurus.