S has an (i,j)-dependency with respect to L … of the j^th symbol a_j of S by … [p. 115] (11) Suppose that L is a finite-state … set of more than m terms in L. … [e.g., a^n b^n, alpha alpha^reverse, alpha alpha]. … ["If S1, then S2" can be embedded arbitrarily deep at S1 and S2.] Consequently, English fails condition (11). English is …
Google-1
Google-2
Copyright clearance needed for quotation.