Следующая грамматика также допускает построение одной и той же цепочки с помощью двух выводов, имеющих разные синтаксические деревья.
2) <I> Ю 0 + <I> Ю 0 + 0 +<I> Ю 0 + 0 + 0,
Рассмотренное свойство грамматик называется неоднозначностью. Оно может быть определено следующим образом.
Определение. Две грамматики
Г1 и
Г2 называются эквивалентными,
ecли они порождают один и тот же язык, т.е.
|