正规语言的字母被另一个正规语言所代换，结果仍是正规语言。
字符串同态.字符串同态是使得每个字母被替代为一个单一字符串的字符串代换。就是说，formula_13，这里的 "s" 是字符串，对于每个字母 "a"。字符串同态是保持字符串连接二元运算的同态。给定一个语言 "L"，formula_14 的集合叫做 "L" 的同态像。字符串 "s" 的逆同态像被定义为 而语言 "L" 的逆同态像被定义为 注意一般的说 formula_17，然而确实有 和 对于任何语言 "L"。