222
правки
Изменения
м
Half->\mathrm{Half}
}}
Операция <tex> \mathrm{Half } </tex> также не сохраняет КС-язык таковым. Рассмотрим язык <tex> L = \{ a^n b a^n b a^m b a^l b a^k b a^k b \} </tex>. <tex> L </tex> — КС-язык. Посмотрим, что есть <tex> \mathrm{Half}(L) </tex>. Пусть <tex> \alpha = a^n b a^n b a^m b a^l b a^k b a^k b = ww </tex>. Отсюда следует, что:
* <tex> n = l </tex>
* <tex> n = k </tex>
