A szigorúan jellemző nyelvtan (a homomorfizmusokkal együtt, természetesen):

$S\ensuremath{\rightarrow} acS\;\vert\;bdS\;\vert\;ac\;\vert\;bd$

h₁(a)=a, $h_1(c)=\epsilon$, h₁(b)=b, $h_1(d)=\epsilon$

$h_2(a)=\epsilon$, h₂(c)=c, $h_2(b)=\epsilon$, h₂(d)=d