Определение. Если язык, порождаемый грамматикой
Г, не содержит ни одной конечной цепочки (конечного слова), то он
называется пустым.
Утверждение. Для того, чтобы язык L( Г ) не был пустым, в множестве R должно быть хотя бы одно правило вида r = c ® y, где y О Vт* и должен существовать вывод
|