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