Estoy haciendo un ejercicio que me paso diaz bott.

Cita:Sea el lenguaje L = { bnct+1dt a2n+1 / n ≥ 0, t ≥ 1}
Escriba la DF de una GIC que genere a este lenguaje.
Resolución:
$$L = {b^{n}c^{t}cd^{t}(aa)^{n}a \mid n ≥ 0, t ≥ 1}$$

P = {S -> Ta,
T -> bTaa | Q, (recordemos que n puede ser cero)
Q -> cQd | ccd } (la variable t puede ser mayor o igual a uno)

DF = ({S,T,Q}, {a,b,c,d}, P, S)

por ser una GIC en la resolucion permiten el formato " Q -> cQd " , pero en una gramatica tipo 3 eso seria invalido no ?

ahi va mi resolucion.

$$P= \begin{Bmatrix} \\ S\rightarrow QcTFa \mid bS \\ Q\rightarrow c \mid cQ \\ F\rightarrow aaF \mid \epsilon \end{Bmatrix}$$

Lo hice mas "paso a paso" pero quiero saber si lo plantie bien.
Gracias!