В общем, нет. Например, для произвольной контекстно-свободной грамматики вопрос о том, является ли язык эквивалентным Sigma *, неразрешим - и это самое простое
описание КЛЛ можно представить. Еще один неразрешимый вопрос:
две контекстно-свободные грамматики A и B определяют один и тот же язык, что не сулит ничего хорошего
для более общего вопроса о том, определяют ли грамматику и некоторые другие альтернативные представления один и тот же язык.
В отдельных случаях такие вопросы могут быть решаемыми - к счастью для студентов, изучающих теорию формального языка! Но в свете вышеприведенных результатов о разрешимости вы не найдете
простой алгоритм, который переводит вас из грамматики в краткое описание того типа, который обычно представлен в учебниках по теории языка. Это скорее процесс проб и ошибок, где
Вы используете некоторую интуицию, чтобы придумать описание кандидата, а затем применить более формальные методы, такие как построение деревьев разбора, или использование свойств замыкания или лемм накачки, чтобы доказать или опровергнуть эквивалентность.