Не существует перечислимого семейства контекстно-свободных грамматик, порождающего класс всех однозначных языков

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