Go backward to The Basic Language Go up to Top Go forward to Derivatives and Derivation Trees |
alpha.E ->alpha E |
Ej ->alpha Ej' |
sumEi ->alpha Ej' |
E ->alpha E' |
E|F ->alpha E'|F |
F ->alpha F' |
E|F ->alpha E|F' |
E ->l E' | F ->l F' |
E|F ->tau E'|F' |
E ->alpha E' |
E\L ->alpha E'\L |
E ->alpha E' |
E[f] ->f(alpha) E'[f] |
P ->alpha P' |
A ->alpha P' |