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
, pak w Î L(G);
jinak
w Ï L(G)
Ilustrace:
8/50