##### 字符串 - 字符串 - **字符串**是由[[字符集]]中的字符按顺序排列所形成的[[序列]], 一个字符串 $s$ 就是一个有限的符号序列, 符号从字符集 $\Sigma$ 中选择. 空字符串 $\varepsilon$ 是一个特别的字符串, 表示没有任何符号, 是唯一长度为零的串. [[形式语言]]是字符串的集合, 给定一个字母表 $\Sigma$, 字母表的幂 $\Sigma^n$ 是所有长度为 $n$ 的字符串的集合, 字母表上所有的串的集合约定记作 $\Sigma^*$. 字符串操作用于处理, 修改, 搜索和分析字符串 - 字符串长度是其符号的个数, 记作 $|s|$ - 字符串前缀和后缀是开头或结尾的符号, 记作 $\text{prefix}(s)$, $\text{suffix}(s)$ - 字符串子串是中间任意连贯的符号, 记作 $\text{substring}(s)$ - 字符串逆或者反转是将符号按照相反的顺序列出, 记作 $s^R$ - 字符串连接是按先后顺序拼接两个字符串, 记作 $s_1s_2$ - 字符串的幂表示自身连接多次, 记作 $s^n$