string substitution
string substitution · string substitutions
The semantics-free search and replacement of one sequence of text characters with anotherThe semantics-free search and replacement of one sequence of text characters with another.
Значення
значень: 2The 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.
Форми
множина: string substitutions| Однина | string substitution |
|---|---|
| Множина | string substitutions |
правильне