Simplifique por meio do algoritmo de Exclusão de Produções da Forma < A > -> < B > a gramática:

G = ({A, B, C, D, E}, {x, y, z}, P, A)
P = {< A >  ->  < A > < B > < C >
            |   < D >
            |   z
     < B >  ->  < C >
            |   x
            |   < D >
     < C >  ->  z y
            |   < C > z
            |   < C > y
     < D >  ->  < A > < B > < C >
            |   < E >
            |   x y
     < E >  ->  < B > y < D >
            |   x < B > y < C >
            |   x y}

a) Construção dos fechos das variáveis

Fecho(A) = {D, E}

Fecho(B) = {C, D, E}

Fecho(C) = ∅

Fecho(D) = {E}

Fecho(E) = ∅

b) Exclusão das produções da forma < A > -> < B >

G = ({A, B, C, D, E}, {x, y, z}, P, A)
P = {< A >  ->  < A > < B > < C >
            |   < B > y < D >
            |   x < B > y < C >
            |   x y
            |   z
     < B >  ->  z y
            |   < C > z
            |   < C > y
            |   x
            |   < A > < B > < C >
            |   < B > y < D >
            |   x < B > y < C >
            |   x y
     < C >  ->  z y
            |   < C > z
            |   < C > y
     < D >  ->  < A > < B > < C >
            |   < B > y < D >
            |   x < B > y < C >
            |   x y
     < E >  ->  < B > y < D >
            |   x < B > y < C >
            |   x y}