לפניך השפות L1 ו-L2 מעל הא"ב 01:
L1 = { 0^i 1^(2n) | i >= 1, n = i mod 3 }
L2 = { 0^i 1^(n+i) | i >= 1, n = i mod 3 }
כתוב מילה באורך 6 השייכת לשפה L1 ומילה באורך 6 השייכת לשפה L2.
אם השפה L1 רגולרית - בנה אוטומט סופי דטרמיניסטי לא מלא שיקבל את השפה, ואם השפה אינה רגולרית בנה אוטומט מחסנית שיקבל את השפה.
אם השפה L2 רגולרית בנה אוטומט סופי דטרמיניסטי לא מלא שיקבל את השפה, ואם השפה אינה רגולרית בנה אוטומט מחסנית שיקבל את השפה.
לפניך השפות L1 ו-L2 מעל הא"ב 01:
L1 = { 0^i 1^(2n) | i >= 1, n = i mod 3 }
L2 = { 0^i 1^(n+i) | i >= 1, n = i mod 3 }
כתוב מילה באורך 6 השייכת לשפה L1 ומילה באורך 6 השייכת לשפה L2.
אם השפה L1 רגולרית - בנה אוטומט סופי דטרמיניסטי לא מלא שיקבל את השפה, ואם השפה אינה רגולרית בנה אוטומט מחסנית שיקבל את השפה.
אם השפה L2 רגולרית בנה אוטומט סופי דטרמיניסטי לא מלא שיקבל את השפה, ואם השפה אינה רגולרית בנה אוטומט מחסנית שיקבל את השפה.