S → 𝐹𝑐𝐴𝑐𝐹|𝐹𝑐𝐴

𝐴 → 𝑏𝐴|𝐴𝑎|𝐴𝑏|𝑎𝐴𝑏|𝑐𝐵𝑐
𝐵 → 𝑎𝐵|𝑏𝐵|𝜀
𝐹 → 𝑎𝐹|𝑏𝐹|𝑐𝐹|𝜀

𝑎𝑐𝑎𝑐𝑎𝑏𝑎𝑏𝑎𝑏𝑐𝑏𝑏

𝑆 → 𝑆1 𝑐𝑊
𝑆1 → 𝑆1 𝑏|𝑆1 𝑎|𝑎𝑆1 |𝑏𝑆1 𝑎|𝑐𝑆2
𝑆2 → 𝑆2 𝑏|𝑆2 𝑎|𝑎𝑆2 |𝑏𝑆2 𝑎|𝑐𝑆3 𝑐
𝑆3 → 𝑎𝑆3 𝑎|𝑏𝑆3 𝑏|𝑎𝑆4 𝑏|𝑏𝑆4 𝑎
𝑆4 → 𝐿𝑆4 𝐿|𝑐
𝐿 → 𝑎|𝑏
𝑊 → 𝑎𝑊|𝑏𝑊|𝜀

𝑤1 𝑐𝑤2 𝑐𝑎𝑏𝑎𝑏𝑏𝑏𝑏𝑐𝑏𝑏𝑎𝑏𝑎𝑏𝑎𝑐𝑤5 𝑐𝑤6

 ‫‪1.‬‬ ‫סגירויות‬
‫‪2.‬‬ ‫הוכחה ישירה‬
‫‪3.‬‬ ‫בניית דקדוק‬
‫‪4.‬‬ ‫בניית אוטומט‬

‫הוכחה‪:‬‬
‫נתון כי ‪ 𝐿1 , 𝐿2‬רגולריות‪ .‬אזי קיימים אס"דים ) ‪ 𝐴1 (Σ, 𝑄1 , 𝑞0,1 , 𝐹1 , 𝛿1‬וכן ) ‪ 𝐴2 (Σ, 𝑄2 , 𝑞0,2 , 𝐹2 , 𝛿2‬כך ש‬
‫‪ 𝐿(𝐴1 ) = 𝐿1‬וכן ‪𝐿(𝐴2 ) = 𝐿2‬‬

‫נבנה אוטומט )𝛿 ‪𝐴(Σ, 𝑄1 × 𝑄2 , (𝑞0,1 , 𝑞0,2 ), 𝐹1 × 𝐹2 ,‬‬

‫ונגדיר את פונקציית המעברים 𝛿 כך‪:‬‬

‫אני במקביל רוצה לקרוא אות ולהתקדם איתה באוטומט אחד מבין השתיים ובו בזמן לבצע מעבר‬
‫אפסילון שמדלג על האות שלא קראתי מהמילה השנייה‬
‫כל קריאת אות נראית כך‬
‫קריאת אות‪ -‬עבור כל כלל ‪ 𝛿1 (𝑞1 , 𝜎) = 𝑝1‬וכן ‪ 𝛿2 (𝑞2 , 𝜍) = 𝑝2‬עבור ‪ 𝜎, 𝜍 ∈ Σ‬וכן ‪ 𝑞1 , 𝑝1 ∈ 𝑄1‬וכן‬
‫‪ 𝑞2 , 𝑝2 ∈ 𝑄2‬נגדיר ) ‪ 𝛿((𝑞1 , 𝑞2 ), 𝜎) = (𝑝1 , 𝑝2‬וכן ) ‪𝛿((𝑞1 , 𝑞2 ), 𝜍) = (𝑝1 , 𝑝2‬‬

‫במידה וקיימות ‪ 𝑤1 ∈ 𝐿1‬ו ‪ 𝑤2 ∈ 𝐿2‬כך ש ) ‪ 𝑤 ∈ 𝑟𝑎𝑛𝑑𝑜𝑚(𝑤1 , 𝑤2‬אזי המילה תתקבל‪ .‬ואם לא אז‬
‫לא‪.‬‬
‫בכך הוכחתי שקיים אוטומט סופי המקבל את השפה ) ‪ 𝑅𝑎𝑛𝑑𝑜𝑚(𝐿1 , 𝐿2‬כלומר שפה זו היא רגולרית‬

‫‪+‬‬
‫𝑏𝑏 ‪𝑏 ∗ ((𝜀 + 𝑏𝑏 + )𝑎) (𝑏𝑏 + 𝑏𝑏𝑎𝑎𝑎) + 𝑏 ∗ 𝑎𝑎𝑎 +‬‬
 ‫∗}‪𝐿 ⊆ {0,1‬‬
‫𝐿 ⊆ ∗}‪{0,1‬‬

‫המסקנה תהיה ∗}‪ 𝐿 = {0,1‬ולכן רגולרית‬

‫יהי ∗}‪ 𝑤 ∈ {0,1‬נכתוב בצורה הבאה‪( (00)0 𝑤(00)3∗0 -‬כלומר ‪ )n=0‬ולכן 𝐿 ∈ 𝑤‬

‫‪0011000000‬‬

‫𝑎 𝑛)𝑏𝑎𝑏𝑎𝑏𝑎𝑏𝑎( = 𝑎 𝑛‪(𝑎𝑏𝑎𝑏)𝑛 𝑎(𝑏𝑎𝑏𝑎)𝑛 = (𝑎𝑏𝑎𝑏)𝑛 (𝑎𝑏𝑎𝑏)𝑛 𝑎 = (𝑎𝑏𝑎𝑏)2‬‬