next up previous
Next: About this document ...



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



 

Csiga
1999-05-16