Есть фрукты трех видов: 4 неразличимых апельсина, 5 неразличимых яблок, 1 лимон.
Опыт — все эти фрукты по одному случайно выложены на 3 полки; пустые полки (одна или две) могут быть (но не обязательно); число мест на каждой полке не ограничено.
Событие

— на каждой полке фрукты только одного вида.
Cобытие

— все 4 апельсина лежат на третьей полке, других фруктов на ней нет.
.Найти

и

.
Решение:
1. расположим фрукты в произвольной последовательности, в которой они будут выбираться из начального состояния, например: Л,Я,А,Я,А,Я,Я,А,А,Я (1).
2. тогда для (1) элементарными исходами будет последовательность кортежей

, где

- тип фруктов, а

- номер полки, и первые элементы кортежей составляют (1).
3. для (1) имеем: полное число всех элементарных исходов --

, полное число исходов, благоприятствующих

--

, полное число исходов, благоприятствующих

--

, тогда

, а

.
4. те же самые рассужения можно повторить не только для (1), но и для любой другой последовательности выбора, каждая из которых равновероятна, тогда по формуле полной вероятности получаем:

, а

.
Вопрос: есть ли универсальная программа, позволяющая быстро моделировать такие задачи?