Формальные языки


Пустой язык


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

Утверждение.  Для того, чтобы язык L( Г ) не был пустым, в множестве R

должно быть хотя бы одно правило вида r =

c ® y, где y О Vт* и должен существовать вывод 

      <I> Ю* c.


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



Содержание раздела