1
Новое доказательство прокачки леммы для регулярных языков
Пусть LL\mathcal{L} - семейство всех языков над ΣΣ\Sigma удовлетворяющих свойству накачки регулярных языков. А именно: для каждого L∈LL∈LL\in\mathcal{L} существует N∈NN∈NN\in\mathbb{N} st для каждого слова w∈Lw∈Lw\in L , |w|>N|w|>N|w|> N можно записать в виде w=xyzw=xyz w=xyz где: 1. |y|>0|y|>0|y|>0 , 2. |xy|≤N|xy|≤N|xy|\le N , 3. для всех i ≥ 0 .xyiz∈Lxyiz∈Lxy^i …