Изменения
Нет описания правки
Возьмем правила:
<tex>S \Rightarrow a_iAz_ix_iAz_i</tex>
<tex>S \Rightarrow b_iBz_iy_iBz_i</tex>
<tex>A \Rightarrow a_iAz_ix_iAz_i</tex>
<tex>A \Rightarrow e</tex>
<tex>B \Rightarrow b_iBz_iy_iBz_i</tex>
<tex>B \Rightarrow e</tex>