在计算机科学领域形式语言理论中，经常用到各种字符串函数；但是符号不同于计算机编程中所用到的，某些在理论领域中常用的函数，在编程中很少用到。本文定义其中一些基本术语。
字符串的字母表.字符串的字母表是在一个特定字符串中出现的所有字母的列表。如果 "s" 是字符串，则它的字母表指示为这可以等价地认为是先把字符串中的所有字母按照给定的顺序排好，再去掉其中重复者。
字符串代换.设 "L" 是一个语言，并设 formula_2 是它的字母表。字符串代换或简称代换