129
правок
Изменения
м
2
{{ Утверждение
|statement= <tex> L_1 \cdot L_2 </tex> — КС-язык.|proof=Аналогично предыдущему случаю построим КС-грамматику для языка <tex> L_1 \cdot L_2 </tex>. Для этого добавим правило <tex> S' \to S T </tex>, где <tex> S </tex> и <tex> T </tex> — стартовые символы языков <tex> L_1 </tex> и <tex> L_2 </tex> соответственно.
Остальное доказательство аналогично случаю с объединением.
}}
