One of the most efficient string-matching algorithm, often implemented in text editors for "search" or "replace" commands.

(TBD)
#algorithm