正规式与正规集
串和语言
字母表（字符集）：符号（字符）的有限集合，
ASCII, EBCIDC
串：字符的有穷序列
不包含任何字符的序列称为空字
串长：字符的个数，
语言：字母表上的一个串集
句子：属于语言的串
符号（字符）的有限集合，
