לפניך השפות הרגולריות L₁ ו-L₂.

L₁ מעל הא"ב {a}

L₂ מעל הא"ב {b}

נתונה השפה L מעל הא"ב {a, b}.

L = { aⁿ b^k | n >= 0, k >= 0, n זוגי ו-k אי-זוגי או n אי-זוגי ו-k זוגי }