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