Кодирование стохастических контекстно-свободных языков с однозначным выводом

Для стохастических контекстно-свободных языков с однозначным выводом исследуется задача оптимального кодирования, состоящая в минимизации математического ожидания длины закодированного слова в языке. Рассмотрены класс кодирующих отображений, заданных на правилах порождающей грамматики, и класс конечно-автоматных отображений, для которых доказаны теоремы, аналогичные теореме Шеннона, о сколь угодно близком приближении в этих классах к оптимальному кодированию.