אוטומטים ושפות פורמליות/תכונות של שפות חסרות הקשר/דו-משמעות: הבדלים בין גרסאות בדף

<center><math>S \to A \mid C</math></center>

<center><math>A\to 0A2\mid B \qquad C\to 0C2 \mid D</math></center>

|פתרון=הדקדוק דו משמעי. המילה 02 יכולה להיווצר בשני אופני שונים. בראשון <math>S\Rightarrow A</math> ובשני <math>S\Rightarrow C</math>.{{ש}}

מילה זו והמילה הריקה הינן היחידות שהינן דו משמעיות. נשנה כך שלא ייתכן שתיווצרנה בצורה השניה על-ידי כך שנשנה את כללי הגזירה של המשתנה D ל-<math>D\to 1D2 \mid 12</math>.}}