A szigorúan jellemző nyelvtan (a homomorfizmusokkal együtt, természetesen): $S\ensuremath{\rightarrow} acS\;\vert\;bdS\;\vert\;ac\;\vert\;bd$ h1(a)=a, $h_1(c)=\epsilon$, h1(b)=b, $h_1(d)=\epsilon$ $h_2(a)=\epsilon$, h2(c)=c, $h_2(b)=\epsilon$, h2(d)=d