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