Množina
F
ollow
Definice:
Nechť
G
= (
N
,
T
,
P
,
S
)
je BK
G.
P
ro
všechna
A
Î
N
definujeme množinu
Follow
(
A
)
:
F
ollow
(
A
) = {
a
:
a
Î
T
,
S
Þ
*
x
A
a
y
,
x
,
y
Î
(
N
È
T
)
*
}
È
{
$
:
S
Þ
*
x
A
,
x
Î
(
N
È
T
)
*
}
Myšlenka:
F
ollow
(
A
)
je množina všech terminálů, které
se mohou vyskytovat vpravo od
A
ve větné formě.
Ilustrace:
S
Þ
*
x
A
z
a
y
S
A
x
z
Þ
*
x
A
a
y
A
x
S
S
Þ
*
x
A
a
Î
F
ollow
(
A
)
$
Î
F
ollow
(
A
)
…
$
28/57