编译原理----

3.3.1 串和语言
某个字母表上的一个串（string）是该字母表中符号的一个有穷序列。句子和字常常被当作串的同义词。
空串 长度为0的串。
串s的长度，通常记作|s|。
语言是某个给定字母表上一个任意的可数的串集合。
串s的前缀（prefix）是从s的尾部删除0个或多个符号后得到的串。
串的后缀（suffix），开始处删除。
串的子串（substring）。