spell correction is somewhat of the most popular and easy to understand problems where machine learning can help. For example: several user enter a misspelled word and then correct them in the next step. If this happens often enough you might infer that the second word is most probably the correct version, especially if the second word has a small levenshtein -distance to the first.