theory of computation

L1={0i1i+n+k0k:n,k0,i>0}