‫אוטומטים ‪2024‬‬

‫תרגיל בית מספר ‪2‬‬

‫הגשה‪29.12.23 :‬‬

‫שאלה ‪1‬‬
‫תהי ‪ L‬שפת כל המילים מעל }‪ } a,b‬בהן האות הראשונה זהה לאות שלפני האחרונה‪( .‬שימו לב –‬
‫כל מילה מאורך שתיים בשפה)‪ .‬ציירו אוטומט לא דטרמיניסטי המקבל שפה זאת‪.‬‬

‫שאלה ‪2‬‬
‫יהיו ‪ 𝐿1‬ו‪ 𝐿2 -‬שפות אס"ד‪.‬‬
‫∗‬
‫נגדיר את ‪ L‬באופן הבא‪L = {𝑥𝑦𝑧|𝑥𝑧 ∈ 𝐿1 𝑦 ∈ 𝐿2 𝑥, 𝑦, 𝑧 ∈ Σ } :‬‬
‫הוכיחו ש‪ L -‬שפת אס"ד‪.‬‬

‫שאלה ‪3‬‬
‫תהי ‪ L‬שפה של אס"ד נגדיר את השפה הבאה‪:‬‬
‫‪D𝑜𝑢𝑏𝑙𝑒 (𝐿) = {∝1 𝛼1 ∝2 𝛼2 ∝3 𝛼3‬‬ ‫…‬ ‫} ∑ ∈ 𝑛𝛼 ‪∝𝑛 𝛼𝑛 │ ∝1 ∝2 𝛼3 𝛼𝑛 ∈ 𝐿 𝑎𝑛𝑑 ∝1 , ∝2 , 𝛼3‬‬
‫…‬ ‫… ‪,‬‬

‫כלומר‪ -‬כל מילה ב‪ L-‬משכפלים את כל אותיותיה לקבלת מילה ב )𝐿( 𝑒𝑙𝑏𝑢𝑜‪D‬‬

‫הוכיחו ש‪ D𝑜𝑢𝑏𝑙𝑒 (𝐿) -‬גם שפת אס"ד‪.‬‬

‫שאלה ‪4‬‬
‫יהיו ‪ B,C‬שפות מעל }‪  = {0,1‬נגדיר את ‪LB1C‬‬
‫‪:‬‬
‫} )‪LB1C = { w  B | x  C , #1 (w) =#1 ( x‬‬
‫הוכיחו כי אם ‪B‬ו‪ C-‬שפות אס"ד אז גם ‪ L B1C‬שפת אס"ד‪.‬‬
‫הערה‪ :‬הסימן )‪ #1 ( x‬משמעותו‪ -‬מספר הפעמים שמופיע התו "‪ "1‬במילה ‪x‬‬
‫כמוכן‪ ,‬הבנת ההגדרה שלעיל היא חלק מהקושי בתרגיל‪.‬‬

‫בהצלחה!‬