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