נתונות השפות L1 ו-L2: L1 = {a^n b^m c^k | n,k≥0, m=2k}. L2 = {a^n b^m c^k | n,m,k≥0 וצריכים להיות כולם זוגיים או כולם אי-זוגיים}.

האם השפה L1 רגולרית? אם כן, בנה אוטומט סופי דטרמיניסטי מלא שמקבל בדיוק את השפה, ואם לא, בנה אוטומט מחסנית שמקבל בדיוק את השפה.

האם השפה L2 רגולרית? אם כן, בנה אוטומט סופי דטרמיניסטי מלא שמקבל בדיוק את השפה, ואם לא, בנה אוטומט מחסנית שמקבל בדיוק את השפה.