В обычной контекстно-свободной грамматике продукции задаются отношением

, где

— множества нетерминалов и всех символов соответственно. Возьмём вместо него функцию
![$R\colon N\times A^*\to[0;1]$ $R\colon N\times A^*\to[0;1]$](https://dxdy-04.korotkov.co.uk/f/b/f/0/bf0fdfe70a765a39128e0504ba77ca7382.png)
такую, что

для всех нетерминалов

.

понимается как вероятность заменить

на

.
Язык грамматики заменяется на вероятностное распределение

(определённое, правда, не для всякой грамматики), простейшие параметры которого типа первых моментов несложно вычислить. Интересует более глубокое рассмотрение, если оно кому-то когда-то понадобилось настолько, чтобы о нём написать — подскажите, если где-нибудь видели. В том числе для аналогов не обязательно контекстно-свободной грамматики.