цепочки, называются нетерминальными, или вспомогательны­
ми, и образуют вспомогательный алфавит.
      Определение ИГ можно сформулировать не только в
виде условий (Збаб), но и в виде правил, т. е. выражений ви­
да «х -> у», что означает «заменить х на у» или «подставить у
вместо х», где х и у - любые цепочки символов: