344
правки
Изменения
Нет описания правки
Делая подстановку <tex> \lambda = 1,\, a_i = t</tex> и учитывая, что <tex>l(t) = \mathcal{L}(t, t, \ldots, t),</tex> получаем заключение теоремы.
}}
{{Теорема
|statement=
Пусть '''Γ''' — грамматика с однозначным выводом.
Обозначим через <tex>r_i(s)</tex> производящую функцию для числа слов в языке <tex>L_i,</tex> выводимого из символа <tex>r_i</tex>. Тогда производящие функции <tex>r_i</tex> удовлетворяют системе уравнений
<tex>r_i(s) = \sum_{j} s^{\nu ij} \, \prod_{k} r_k^{\eta kj} (s) </tex>
|proof=доказательство (необязательно)
}}
