Category "turing-machines"

Context-sensitive Grammar for a^nb^nc^n

Is the following CSG for a^nb^nc^n correct? S->aSbC|abc Cb->bC C->c If not please explain why?