Определение. Контекстно-свободная грамматика, не содержащая  аннулирующих правил, 
                             называется разделенной или простой , если выполняются следующие два условия: 
         1. Правая часть каждого правила начинается терминалом. 
         2. Если два правила имеют одинаковые левые части, то правые части этих правил 
             должны начинаться различными терминальными символами.
 
Hosted by uCoz