לפניך השפות L1 ו-L2 מעל הא"ב {0,1}: 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 רגולרית -- בנה אוטומט סופי דטרמיניסטי שיקבל את השפה. ואם השפה אינה רגולרית -- בנה אוטומט מחסנית שיקבל את השפה.