אתם מתרגלים שאלה מתוך בגרות מדעי המחשב — מבני נתונים (שאלון 899271)מבחן 2023 · קיץ מועד א · שאלה 9כל שאלות המבחן ←
מודלים חישובייםאוטומטים סופיים

נתונות השפות L1-L4 מעל הא"ב {a,b}:

L1 = שפת כל המילים שבהן מספר המופעים של האות a שווה למספר המופעים של האות b. L2 = שפת כל המילים שבהן מספר המופעים של האות a גדול ממספר המופעים של האות b. L3 = שפת כל המילים שיש בהן יותר משלוש אותיות זהות ברצף (כלומר - ריצה של 4 אותיות זהות ומעלה). L4 = שפת כל המילים שמתחילות באות a ומסתיימות באות b, או מתחילות באות b ומסתיימות באות a.

סעיף א

בנו אוטומט סופי דטרמיניסטי המקבל את השפה L4.

סעיף ב

הוכיחו שהשפה L3 ∩ L4 רגולרית.

סעיף ג

כתבו את השפה המתקבלת מן הפעולה L1 ∪ L2. האם השפה המתקבלת רגולרית? נמקו את תשובתכם.

סעיף ד

כתבו את השפה המתקבלת מן הפעולה L1 ∪ L2 ∪ complement(L2).

סעיף ה

האם השפה L1 ∩ L2 רגולרית? נמקו את תשובתכם.

סעיף ו

בנו אוטומט סופי דטרמיניסטי שאינו מלא, המקבל את השפה L2 ∩ complement(L3).

סעיף ז

כתבו את השפה המתקבלת מן הפעולה L4 ∩ R(L4).

שאלות ותגובות על השאלה

🎓 לא הבנתם משהו? קבלו הסבר נוסף ממרצה לתכנות

שאלו כאן — ותקבלו מענה מוסמך.

🎓 מרצה לתכנות עונה כאן — תקבלו מענה מקצועי