344
правки
Изменения
Нет описания правки
{{Определение
|id=def2
|definition='''Язык Дика''' (англ. ''Dyck language'') — множество [[Правильные скобочные последовательности#Определения |правильных скобочных структур]] вместе с пустой структурой, образующее [[Основные определения, связанные со строками#deflanguage | язык ]] над [[Основные определения, связанные со строками#alphabet | алфавитом ]] <tex>\{a, b\}</tex>.
}}
{{Определение
|id=def3
|definition='''Производящей функцией''' (англ. generating function) '''языка''' <tex>L</tex> называется [[Производящая функция | производящая функция ]] <tex>L(s) = l_0 + l_1 s + l_2 s^2 + \ldots,</tex> где <tex>l_k</tex> есть число [[Основные определения, связанные со строками#string | слов ]] длины <tex>k</tex> в языке <tex>L</tex>.
}}
== Правила вывода в языке Дика ==
Язык Дика является [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора#lang | контекстно-свободным языком]].
Рассмотрим два ''правила вывода в языке Дика:''
:1) <tex>r \longrightarrow \lambda</tex>
*[[Числа Каталана]]
*[[Правильные скобочные последовательности]]
*[[Уравнение Лагранжа и теорема Лагранжа]]
== Источники информации ==
[[Категория: Дискретная математика и алгоритмы]]
[[Категория: Производящая функция]]
