若 L 是正规语言，则存在一常数 n > 0 使得语言 L 中每个字串 w 的 |w| ≥ n，而当 w = xyz 时：
1.|xy| ≤ n ，
2.|y| ≥ 1 ，且
3.对所有的 k ≥ 0 ，字串 xy^kz 属于 L 。
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。