Noun
(programming) The semantics-free search and replacement of one sequence of text characters with another.
(computational linguistics) A mapping of letters to sets of strings, which creates a closed operation for regular and context-free languages.
Source: en.wiktionary.org