Задача о наименьшей грамматике

Задачей о наименьшей грамматике называется задача нахождения наименьшей формальной грамматики, которая порождает уникальную последовательность символов. Размер грамматики определяется числом символов в правой части правил вывода.