Контекстно слободна граматика — разлика између измена

Садржај обрисан Садржај додат
Autobot (разговор | доприноси)
м Разне исправке
Ред 128:
Контекстно слободна граматика за синтаксно исправне инфиксне алгебарске изразе над променљивама -{x, y}- и -{z}-:
 
:-{ S → x | y | z | S + S | S - S | S * S | S/S | (S)}-
У овој граматици се може, на пример, извести ниска "-{(x + y) * x - z * y / (x + x )}-" на следећи начин:
 
Ред 142:
"-{(x + y) * x - z * y / (x + x )}-" је коначан резултат, добијен применом прва три правила извођења којима се нетерминали -{S}- замењују са завршним симболима -{x, y}- и -{z}-.
 
Ова граматика је [[вишезначна граматика|вишезначна]], што значи да истој ниски одговара више од једног [[дрво извођења|дрвета извођења]]. На пример, у ниски "-{x + y * z}-" може прво бити анализирано + или *, што наравно даје различите резултате.
 
 
=== Пример 3 ===