Množina First
Definice: Nechť G = (N, T, P, S) je BKG. Pro každé x Î (N È T)* je definováno First(x) jako:
First(x) = {a: a Î T, x Þ* ay; y Î (N È T)*}.
Myšlenka: First(x) je množina všech terminálů, kterými může začínat větná forma derivovatelná z x
Ilustrace:
x =
X1
X2
Xn
…
a
 y
x = X1X2 …Xn Þ* ay
a Î First(x)
4/57