The language L 1 2 is the language of all lines of the form xy, where x & in; L 1 and y & in; L <sub> 1sub>. Note that x and y need not be the same string; they can be selected independently.
, , y = & epsilon;, & epsilon; = (ab) 0. L 1 L 1 2 & epsilon;.
, , L 1 2 L 1. w & in; L < > 1 > 2. xy x, y & in; L < > 1 > . , w = xy = (ab) n (ab) m n m. , w = (ab) n + m w L 1.
, L 1 & subseteq; L 1 2 L 1 2 & subseteq; L 1, , L 1= L 1 2. , L 1 2 - , L 1.
, !