26
правок
Изменения
Нет описания правки
* <tex> m = k </tex>
А значит, <tex> n = l = k = m </tex>, и <tex> Half(L) = \{ a^n b a^n b a^т n b \} </tex>, и по лемме о накачке КС-языком не является.
= Операции над КС-языком и регулярным языком =
