uvwxy lemma

Лемма об условиях регулярности языка, лемма о контекстно-свободном языке