字母表:表示符号的有限集合[非空,有穷]。 符号串:字母表中符号的有穷序列。 符号串长度:符号串中符号的个数。 例:s=abca, |s|=4 , 特殊符号:|ε|=0 连结:如果x和y是符号串,那么x和y的连结(写成xy)是把y