Изменения

Перейти к: навигация, поиск

Примеры неразрешимых задач: однозначность грамматики

Нет изменений в размере, 08:15, 15 января 2011
Нет описания правки
Возьмем правила:
<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>
Анонимный участник

Навигация