Exercício 09.01

Apresente uma derivação para a sentença aaabbbccc sobre a gramática a seguir.

G = ({S, B, C}, {a, b, c}, P, S)
P = {< S >        ->  a < S > < B > < C > | a < B > < C > 
     < C > < B >  ->  < B > < C >
     a < B >      ->  a b
     b < B >      ->  b b
     b < C >      ->  b c
     c < C >      ->  c c }

Resposta

< S >
a < S > < B > < C >
a a < S > < B > < C > < B > < C >
a a a < B > < C > < B > < C > < B > < C >
a a a b < C > < B > < C > < B > < C >
a a a b < B > < C > < C > < B > < C >
a a a b b < C > < C > < B > < C >
a a a b b < C > < B > < C > < C >
a a a b b < B > < C > < C > < C >
a a a b b b < C > < C > < C >
a a a b b b c < C > < C >
a a a b b b c c < C >
a a a b b b c c c

Recomendamos