Аналог теоремы о неявном отображении для формальных грамматик интерпретируются как
грамматики формальных языков. Такие системы решаются в виде формальных степенных рядов (ФСР
Минимизация контекстно-свободных грамматикРешается задача преобразования исходной контекстно-свободной
грамматики (КС-
грамматики) без лишних
О полиномиальных грамматиках, порождающих бесконечное множество языковИсследуются
формальные грамматики — системы полиномиальных уравнений относительно некоммутативных
Условие разрешимости произвольных формальных грамматик неявном отображении на
формальные грамматики, содержащие произвольное число уравнений. Доказано, что если