לפניך השפות הרגולריות L1, L2: L1 = { a^(2n) | n >= 0 } L2 = { b^(2n+1) | n >= 0 } נתונה השפה L מעל הא"ב {a, b}: L = { a^n b^k | n זוגי ו-k אי-זוגי, או n אי-זוגי ו-k זוגי, n,k >= 0 }
הוכח, באמצעות השפות L1 ו-L2 בלבד ובאמצעות תכונות סגירות בלבד, שהשפה L היא רגולרית.
בנה אוטומט סופי לא דטרמיניסטי שיקבל את השפה L.
לפניך השפות הרגולריות L1, L2: L1 = { a^(2n) | n >= 0 } L2 = { b^(2n+1) | n >= 0 } נתונה השפה L מעל הא"ב {a, b}: L = { a^n b^k | n זוגי ו-k אי-זוגי, או n אי-זוגי ו-k זוגי, n,k >= 0 }
הוכח, באמצעות השפות L1 ו-L2 בלבד ובאמצעות תכונות סגירות בלבד, שהשפה L היא רגולרית.
בנה אוטומט סופי לא דטרמיניסטי שיקבל את השפה L.
