串和语言

字母表

一个有穷的符号集合，符号典型例子是字母、数字、标点符号。在理论上，可以把任意的有限集合看作字母表。

字母表上的串

该表中符号的有穷序列。串s的长度即|s|，是指s中符号出现的次数（即长度）。

空串就是长度为0的串。

语言

是某个给定字母表上的串的可数集合

串的运算

语言的运算