deterministic finite automata, Levenshtein edit distance, nondeterministic finite automata, spell checker.
