Bağlamdan Bağımsız Gramerlerdeki Belirsizlik

Bağlamdan bağımsız bir gramer ise G bazı dizeler için birden fazla türetme ağacına sahiptir w ∈ L(G)buna bir ambiguous grammar. Bu dilbilgisinden üretilen bazı dizeler için birden çok sağdan veya en soldan türetme vardır.

Sorun

Dilbilgisi G'nin üretim kuralları ile -

X → X + X | X * X | X | a

belirsiz veya değil.

Çözüm

"A + a * a" dizesi için türetme ağacını bulalım. En soldaki iki türevi vardır.

Derivation 1- X → X + X → a + X → a + X * X → a + a * X → a + a * a

Parse tree 1 -

Derivation 2- X → X * X → X + X * X → a + X * X → a + a * X → a + a * a

Parse tree 2 -

Tek bir "a + a * a" dizesi için iki ayrıştırma ağacı olduğundan dilbilgisi G Belirsiz.