‫𝑏 ‪𝑎1‬‬

‫‪𝑎2→4 𝑏4‬‬

‫‪𝑎3→7 𝑏7‬‬
‫‪𝑎30 𝑏 61‬‬
‫𝑏𝑋𝑎 → 𝑆‬
‫𝜀|𝑏𝑏𝑏𝑋𝐴 → 𝑋‬
‫𝑎𝑎𝑎|𝑎𝑎|𝑎 → 𝐴‬

‫נניח בשלילה כי השפה ‪ L‬רגולרית‪ .‬אזי לפי משפט ‪( 4.1‬למת הניפוח לשפות רגולריות) קיים מספר‬
‫טבעי ‪ n‬כל שלכל מילה 𝐿 ∈ 𝑧 שמתקיים 𝑛 ≥ |𝑧| קיים פירוק 𝑤𝑣𝑢 = 𝑧 כך שמתקיימים התנאים‪-‬‬

‫‪|𝑢𝑣| ≤ 𝑛 .1‬‬
‫‪1 ≤ |𝑣| .2‬‬
‫𝑖‬
‫‪ .3‬לכל ‪ 𝑖 ≥ 0‬מתקיים 𝐿 ∈ 𝑤 𝑣𝑢‬
‫‪𝑛+3‬‬
‫‪ 𝑧 = 𝑎𝑛+2 𝑏2‬על פי הלמה קיים‬ ‫יהי ‪ n‬הקבוע שקיומו מובטח על ידי למת הניפוח‪ .‬נביט במילה‬
‫למילה פירוק 𝑤𝑣𝑢 = 𝑧 כך ש‬
‫‪ |𝑢𝑣| ≤ 𝑛 .1‬כלומר קיימים 𝑡 ‪ 𝑠,‬כך ש 𝑛 ≤ 𝑡 ‪ 𝑠 +‬ומתקיים 𝑠 𝑎 = 𝑢 וגם 𝑡𝑎 = 𝑣‬
‫‪ 1 ≤ |𝑣| .2‬כלומר בצירוף תנאי ‪ 𝑣 = 𝑎𝑡 ,1‬כך ש 𝑛 ≤ 𝑡 ≤ ‪1‬‬
‫‪ .3‬לכל ‪ 𝑖 ≥ 0‬מתקיים 𝐿 ∈ 𝑤 𝑖 𝑣𝑢‬
‫‪𝑛+3‬‬ ‫‪𝑛+3‬‬
‫‪ 𝑢𝑣 2 𝑤 = 𝑎 𝑠 𝑎2𝑡 𝑎𝑛+2−𝑠−𝑡 𝑏 2‬מכיוון ש‬ ‫‪= 𝑎𝑛+2+𝑡 𝑏2‬‬ ‫אך עבור ‪ 𝑖 = 2‬מתקיים 𝐿 ∉‬
‫‪( 2𝑛+2+𝑡+1 > 2𝑛+3‬שכן ‪)𝑡 ≥ 1‬‬
‫כלומר הגענו לסתירה ועל כן השפה ‪ L‬אינה רגולרית‬
(𝑎𝑎)∗ 𝑏𝑐 + (𝑎𝑐 ∗ 𝑎𝑐 ∗ )∗ + 𝑎(𝑎𝑎)∗ 𝑏𝑐 + (𝑎𝑐 ∗ 𝑎𝑐 ∗ )∗ 𝑎𝑐 ∗

𝑆 → 𝑎𝐴0 |𝑏𝐵0 |𝑐𝐶1 |𝑐

𝐴0 → 𝑎𝐴0 |𝑐𝐶1 |𝑐
𝐴1 → 𝑎𝐴1 |𝑐𝐶0 |𝑎
𝐵0 → 𝑏𝐵0 |𝑐𝐶1 |𝑐
𝐵1 → 𝑏𝐵1 |𝑐𝐶0 |𝑏
𝐶0 → 𝑎𝐴0 |𝑏𝐵0 |𝑐𝐶1 |𝑐
𝐶1 → 𝑎𝐴1 |𝑏𝐵1 |𝑐𝐶0 |𝑎|𝑏