القواعد الغامضة

أبسط مثال هو القواعد الغامضة التالية للغة عادية، والتي تتكون من السلسلة الفارغة فقط:

A → A | ε

مما يعني أن الإنتاج يمكن أن يكون إما نفسه مرة أخرى، أو سلسلة فارغة. وبالتالي، تحتوي السلسلة الفارغة على مشتقات أقصى اليسار طول 1 ، 2 ، 3 ، أو بأي طول، اعتمادًا على عدد المرات التي يتم فيها استخدام القاعدة

A → A

تحتوي هذه اللغة أيضًا على قواعد غير غامضة تتكون من قاعدة إنتاج واحدة:

A → ε

مما يعني أن الإنتاج الفريد يمكن أن ينتج السلسلة الفارغة فقط، والتي هي السلسلة الفريدة في اللغة.

بنفس الطريقة، يمكن جعل أي قواعد لغوية غير فارغة غامضة عن طريق إضافة تكرار.

اللغة العادية لسلسلة أحادية لرمز معين، نضع "a" (التعبير العادي *a ) ، تحتوي على قاعدة غير غامضة:

A → aA | ε

ولكن لديها أيضًا قاعدة غامضة:

A → aA | Aa | ε

وهذه تتوافق مع إنتاج شجرة ترابطية لليمين (لقواعد غير غامضة) أو السماح لكل من الارتباط لليسار ولليمين. وهذا مفصل بالأسفل.

القاعدة الخالية السياق التالية:

A → A + A | A − A | A * A | id

غامضة، لوجود اشتقاقين من أقصى اليسار لسلسلة a + a + a.

ما يلي هو قواعد غير غامضة تولد نفس اللغة:

A → A + a | A − a | a

ومن الأمثلة الشائعة على الغموض في لغات برمجة الكمبيوتر مشكلة else المعلقة. في العديد من اللغات، تكون else في عبارة (If – then (–else اختياريًا، مما ينتج عنه شروط متداخلة لها طرق متعددة للاعتراف بها من حيث قواعد اللغة الخالية من السياق.

في العديد من اللغات، قد يكتب المرء شرطاً في شكلين صالحين: نموذج if-then ، ونموذج if-then-else ، مما يجعل شرطًا else اختياريًا:

في قاعدة تحتوي القواعد التالية:

... | Statement → if Condition then Statement | if Condition then Statement else Statement 

بعض هياكل العبارات غامضة يمكن أن تظهر. كالتعبير التالي:

if a then if b then s else s2 

يمكن أن يتم تحليلها، كـ:

if a then begin if b then s end else s2

أو كـ:

if a then begin if b then s else s2 end 

اعتماداً على ما إذا كانت else ترتبط مع أول if أو ثاني if.

يتم حلها بطرق مختلفة وبلغات مختلفة. في بعض الأحيان يتم تعديل القواعد بحيث تكون غير غامضة، مثل أن تكون endif مطلوبة أو جعل else إلزامية. في حالات أخرى، يتم ترك قواعد اللغة غامضة، ولكن يتم حل الغموض عن طريق جعل العبارة العامة لحالة القواعد ككل حساسة للسياق، مثل ربط else بأقرب if. في هذه الحالة الأخيرة، فإن القواعد لا غموض فيها، لكن قواعد اللغة الخالية من السياق غامضة.

S → A + A A → 0 | 1

هذه القاعدة غير غامضة للغة { 0+0, 0+1, 1+0, 1+1 }. في حين أن كل واحدة من هذه السلاسل الأربع لها اشتقاق واحد فقط في أقصى اليسار، إلا أن لها مشتقين مختلفين، على سبيل المثال:

S ⇒ A + A ⇒ 0 + A ⇒ 0 + 0

و

S ⇒ A + A ⇒ A + 0 ⇒ 0 + 0 

فقط أول قاعدة هي التي من أقصى اليسار.