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