derivation sequence
derivation sequence In formal language theory, a sequence of words of the form w1 ⇒ w2 ⇒ … ⇒ wn
(for notation see semi-Thue system). For a context-free grammar, such a sequence is leftmost (or rightmost) if, for each 1←i←n,
wi+1 is obtained from wi by rewriting the leftmost (or rightmost) nonterminal in wi. Such sequences exist for all derivable words.
(for notation see semi-Thue system). For a context-free grammar, such a sequence is leftmost (or rightmost) if, for each 1←i←n,
wi+1 is obtained from wi by rewriting the leftmost (or rightmost) nonterminal in wi. Such sequences exist for all derivable words.
More From encyclopedia.com
You Might Also Like
NEARBY TERMS
derivation sequence