I am creating a Turing machine that computes the multiplication of two numbers using unary representation within 300 step limit. For example 2 * 3 as 110111 and
Is the following CSG for a^nb^nc^n correct? S->aSbC|abc Cb->bC C->c If not please explain why?