Грамматики G1 и G2 эквивалентны тогда и только тогда:
- когда они имеют одинаковые множества терминальных и нетерминальных символов
- когда они имеют одинаковые множества цепочек языка
- когда они имеют эквивалентные правила грамматики
- когда они порождают один и тот же язык
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.