●对于字母表Σ,用∑*表示∑上所有字符串的集合 如∑={a,b},则Σ*={,a,b,ab,bb,ba…}。 显然∑上的任一语言L,都有Lc∑ 对于Σ,令∑+=∑*-{e},它是Σ上不含空串的字符串集合。 ●对于Σ的子集L,M,(它们都∑上的语言),可以定义下列 四种语言之间的运算。 定义25:语言L和M的连接,LM={xy|x∈ L and y∈M} 基于同一律,{ε}L=L{e}=L,除此而外,通常LM≠ML,即 连接不满足交换律,但满足结合律,即(LM)N=L(MN) 通常记L2=LL,并约定L。={E} 77 •对于字母表，用*表示上所有字符串的集合。 如={a,b}，则*={ ,a,b,aa,ab,bb,ba,…}。 显然上的任一语言L，都有L * 对于 ，令+=*-{}，它是上不含空串的字符串集合。 •对于*的子集L，M，(它们都上的语言)，可以定义下列 四种语言之间的运算。 定义2.5 :语言L和M的连接，LM={xy | x∈L and y∈M}。 基于同一律，{}L=L {}=L，除此而外，通常LM≠ML，即 连接不满足交换律，但满足结合律，即(LM)N=L(MN)。 通常记L²=LL,并约定Lº={}