Simplifique por meio do algoritmo de Exclusão de Símbolos Inúteis a gramática:

G = ({S, K, Q, R, T, U, W}, {a, b, c, d, e}, P, S)
P = {< S >  ->  a < K > b < Q >
            |   c d < R >
            |   < U >
     < K > -> < Q > c
            |   < K >
     < Q >  ->  d < K >
            |   c < Q > d c
     < R >  ->  a b < U > < T > d
            |   < U > a b c
            |   a c < T > e
     < T >  ->  < T > a c
            |   c < T > a
            |   a c d
     < U >  ->  a < Q > b < K > c
     < W >  ->  < R > < R > c }

a) Identificação das variáveis que constituem terminais

G = ({S, R, T, W}, {a, b, c, d, e}, P, S)
P = {< S >  ->  c d < R >
     < R >  ->  a c < T > e
     < T >  ->  < T > a c
            |   c < T > a
            |   a c d
     < W >  ->  < R > < R > c }

b) Identificação dos símbolos alcançáveis a partir do símbolo inicial

G = ({S, R, T}, {a, c, d, e}, P, S)
P = {< S >  ->  c d < R >
     < R >  ->  a c < T > e
     < T >  ->  < T > a c
            |   c < T > a
            |   a c d }