derivation_tree (379B)
1 # Derivation tree 2 3 A derivation tree is a notion of a [context_free_grammar] 4 5 The [yield] of a derivation tree is the sequence of its [leaves] 6 7 The notion of derivation trees also occurs in [datalog]: [derivation_tree_datalog] 8 9 - [derivation_tree_index] 10 11 Up: [tree] for [context_free_grammar] 12 13 Aliases: parse tree, derivation trees, parse trees 14 15 See also: [abstract_syntax_tree]