若 L 是正规语言,则存在一常数 n > 0 使得语言 L 中每个字串 w 的 |w| ≥ n,而当 w = xyz 时:
1.|xy| ≤ n ,
2.|y| ≥ 1 ,且
3.对所有的 k ≥ 0 ,字串 xy^kz 属于 L 。