posted on 2009-10-09, 00:13authored byYizhi Cai, Matthew W. Lux, Laura Adam, Jean Peccoud
In the derivation tree, terms in <> corresponds to the non-terminals in the grammar, while terms in [ ] are terminals, and the dashed lines indicate the transformation to terminals. The subscripts are used to distinguish different instances of the same category.