Изменения

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