形式语言与自动机预备知识——字符串

形式语言与自动机预备知识——字符串

---

形成语言的构成细胞是“符号”，符号无法被严格定义，只能用枚举法表示。

• 字母表：符号的有限非空集，设为$\Sigma$。

• 字符串：位于字母表$\Sigma$上，定义规则如下
  (1)$ϵ$为$\Sigma$上的字符串，称为空串，即它不包含任何$\Sigma$中的符号
  (2)若$x$是$\Sigma$上的字符串，且$a\in \Sigma$，则$xa$是$\Sigma$上的字符串
  (3)$y$是$\Sigma$上的字符串，当且仅当它由(1)(2)导出
  对于$\Sigma$上的任何串$x$，总有$xϵ=ϵx=x$

• 字符串上的操作

  • 字符串的连接：如果$x,y$都是$\Sigma$上的字符串，则 x y