Right
most
Derivation
Definition:
Let
G
= (
N
,
T
,
P
,
S
) be a CFG
, let
u
Î
(
N
È
T
)
*
,
v
Î
T
*
.
Let
p
=
A
®
x
Î
P
be a
rule
.
Then,
u
A
v
directly derives
u
x
v
in the
rightmost way
according to
p
in
G
, written as
u
A
v
Þ
rm
u
x
v
[
p
]
Note:
We d
efine
Þ
rm
+
and
Þ
rm
*
by analogy with
Þ
+
and
Þ
*
, respectively.
During a
rightmost derivation step
, the
right
most nonterminal is rewritten.
Gist:
14/50