rmula_5 这里的 formula_6 是其字母表为 formula_7 的某个语言。这个定义可被扩展到字符串为对于空串 formula_9，和对于字符串 formula_11。字符串代换可以被扩展到整个语言为字符串代换的一个例子出现在正则语言中，它闭合于字符串代换之下。就是说，如果一个正规语言的字母被另一个正规语言所代换，结果仍是正规语言。
字符串同态.字符串同态是使得每个字母被替代为一个单一字符串的字符串代换。就是说，formula_13，这里的 "s" 是字符