195
правок
Изменения
м
}}
{{Определение
|definition=
Считающей последовательностью называется последовательность <tex dpi="130">\left \{ a_0, a_1, ..., a_n \right \}</tex>, где <tex dpi="130">a_i</tex> {{---}} количество объектов веса <tex dpi="130">i</tex>.
progress...
Каждый комбинаторный объект состоит из атомов.
\\
У атомов определен вес <tex dpi="130">w</tex>.
<tex dpi="130">w(\circ)=0</tex>
{{Определение
|definition=
Считающей последовательностью называется последовательность <tex dpi="130">\left \{ a_0, a_1, ..., a_n \right \}</tex>, где <tex dpi="130">a_i</tex> {{---}} количество объектов веса <tex dpi="130">i</tex>.
}}
Производящую функцию класса <tex dpi="130">A</tex> обозначим <tex dpi="130">A(t)</tex>.
{{Определение
<tex dpi="130">Z=\left \{ \bullet \right \}</tex>
<tex dpi="130">Z(t)=t</tex>
}}
<tex dpi="130">\varepsilon=\left \{ \circ \right \}</tex>
<tex dpi="130">\varepsilon(t)=1</tex>
}}
|definition=
Комбинаторным классом <tex dpi="130">A</tex> называется множество комбинаторных объектов, обладающих каким-то свойством.
}}
