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