A substitution method that uses lexical analysis and dictionary support to propose candidates for corrected text, for example: spelling suggestion, search query resolution, and thesaurus lookup.