Definice: Nechť G = (N, T, P, S) je BKG. Symbol X Î N È T je dostupný, pokud existuje u,
v Î S*, takové,
že: S Þ* uXv. Jinak X
je nedostupný.
Příklad:
Pozn.: Každý nedostupný symbol může být odstraněn z BKG
Dostupné symboly
Myšlenka:
Symbol X je dostupný, pokud
S Þ* …X…, kde S je počáteční neterminál.
S -
dostupný: pro u = e, v = e: S Þ0 S
G = ({S, A, B}, {a, b}, {S ® SB, S ® a, A ® ab, B ® aB }, S)
A -
nedostupný: neexistuje u, v Î
S* takové, že: S Þ* uAv
B -
dostupný: pro u = S, v
= e: S Þ1 SB
a - dostupný: pro u = e, v = e: S Þ1 a
b - nedostupný:
neexistuje u, v Î S* takové, že: S Þ* ubv
27/31