Please solve it with all the required steps

The recursive definition of the extended transition function ^('^, is over in Lecture Notes and most books) may be replaced by: : Q Q, where : q, and , Prove that -, , an