Množina
First
Defini
ce
:
Nechť
G
= (
N
,
T
,
P
,
S
)
je
BK
G.
Pro
každé
x
Î
(
N
È
T
)
*
je definováno
First
(
x
)
jako:
First
(
x
) = {
a
:
a
Î
T
,
x
Þ
*
a
y
;
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
=
X
1
X
2
X
n
…
a
y
x
=
X
1
X
2
…
X
n
Þ
*
a
y
a
Î
First
(
x
)
4/57