Set
F
ollow
Definition:
Let
G
= (
N
,
T
,
P
,
S
) be a CFG. For
every
A
Î
N
, we define the set
Follow
(
A
) as
F
ollow
(
A
)
= {
a
:
a
Î
T
,
S
Þ
*
x
A
a
y
,
x
,
y
Î
(
N
È
T
)
*
}
È
{
$
:
S
Þ
*
x
A
,
x
Î
(
N
È
T
)
*
}
Gist:
F
ollow
(
A
) is the set of all terminals that can
come right after
A
in
a sentential form
of
G
Illustration:
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