Theorem 6.2.1: Let L ___* be context-free. Then there exists an integer n1 so that for each z_L with len(z) n, there exist u,v,w,x,y__* so that
(i) z = uvwxy,
(ii) len(vx) 1,
(iii) len(vwx) n, and
(iv) u vk w xk y_L for all k 0.
Previous slide | Next slide | Back to first slide | View graphic version |