Rightmost 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, uAv directly derives uxv in the rightmost way according to p in G, written as
uAv Þrm uxv [p]
Note: We define Þrm+ and  Þrm* by analogy with Þ+ and Þ*, respectively.
During a rightmost derivation step, the rightmost nonterminal is rewritten.
Gist:
14/50