Csaba Raduly wrote: [...] > Isn't it possible to reduce that to two separate cases of > uAv -> uxv
Yes, I think so. Once you've done that, it's easy to test for CH-1 compliance, but it means that the hard part is to split uxvxw (with the x's possibly being different x's) into uxv and vxw for any x's (including stuff like x->w). > My recollection of this stuff is a bit hazy :-( > Can anybody recommend a (preferably online) refresher ? Only a German one. I suppose that is of no use to most of you. http://www.lehrer.uni-karlsruhe.de/~za714/material/infkurs13/sprachen9.h tml I haven't read that one yet. It was suggested by a fellow student. Steffen