string substitution en · NOUN
Meanings
- The semantics-free search and replacement of one sequence of text characters with another.
- A mapping of letters to sets of strings, which creates a closed operation for regular and context-free languages.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| string substitutions | Number=Plur | lexicographic |