Пред.Страница  След.Страница   Раздел   Содержание 


1.2.3. Пустой язык

Определение.  Если язык, порождаемый грамматикой Г, не содержит ни одной конечной цепочки (конечного слова), то он называется пустым 

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

<I> Þ* c.


 Пред.Страница  След.Страница   Раздел   Содержание