Definice: Nechť G = (N, T, P, S) je BKG.  Jazyk generovaný BKG G, L(G), je definován:
L(G) = {w: w Î T*, S Þ* w}
Generovaný jazyk
G = (N, T, P, S), nechť w = a1a2…an; ai Î T pro i = 1..n
S Þ … Þ … Þ a1a2…an
w
Myšlenka: G generuje řetězec terminálů w pomocí sekvence derivačních kroků z S do w
pokud
, pak w Î L(G);
jinak w Ï L(G)
Ilustrace:
8/50