344
правки
Изменения
→Правила вывода в языке Дика
<tex>D(a, b) = \lambda + ab + aabb + abab + aaabbb + aababb + \ldots</tex>
{{Теорема
|id=th1
|author=
|about=
|statement=
Ряд <tex>D(a, b) = \lambda + ab + aabb + abab + aaabbb + aababb + \ldots</tex> удовлетворяет уравнению <tex>D(a, b) = \lambda + aD(a, b)bD(a, b)</tex>.
|proof=
Действительно, в левой части равенства <tex>D(a, b) = \lambda + aD(a, b)bD(a, b)</tex> записана сумма всех слов языка Дика. Равенство означает справедливость утверждения
Всякое слово в языке Дика есть либо
:1) пустое слово,
:2) слово, в котором внутри самой левой пары соответственных скобок стоит некоторое слово языка Дика и после этой пары стоит слово языка Дика.
При этом такое представление единственно.
}}
