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